[coreboot] question on libgfxinit DP port number

[Iru Cai]

Hi,

I found the mainboard DP port doesn't have output before kernel starts in
hp/2570p (https://review.coreboot.org/c/20489/). After I added DP3 and
HDMI3 in port list, the DP port had output, and cbmem log said it's DP3.
However, xrandr says this port is DP2. What is the problem?

I also checked lenovo/x230, but the port named DP2 in xrandr or
/sys/class/drm/card0-DP-2 is also shown as DP2 in cbmem log.

Thanks,
Iru

-- 
Please do not send me Microsoft Office/Apple iWork documents. Send
OpenDocument instead! http://fsf.org/campaigns/opendocument/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot/attachments/20170718/0ec49c86/attachment.html>