Hi 9front,

I have a Dell Latitude E6520 with an Nvidia N12P-NS2 graphics card. The 
built in display works fine using monitor=vesa and vgasize=1920x1080x32.
I would like to use an external display using the built in VGA or HDMI 
ports, but I am not sure how to set it.
I attached the output of aux/vga -p. The lines starting with edid appear 
when I plug in a VGA monitor, but not for HDMI.

Any tips?