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/