Comment 5 for bug 794503

Hi, You're right it is definitely wired up to the nvidia GPU.

After a bit of prodding I was able to pick up events on the HDMI port with the nouveau module loaded:
[ 529.473101] [drm] nouveau 0000:01:00.0: unplugged HDMI-A-2
[ 533.386255] [drm] nouveau 0000:01:00.0: plugged HDMI-A-2

which is better! but I haven't yet managed to get the hdmi port to display anything using any of the recommended configurations or work arounds on the link posted.

xrandr is still only seeing the plug for the screen that's part of the laptop:
$ xrandr
Screen 0: minimum 320 x 200, current 1920 x 1080, maximum 8192 x 8192
LVDS1 connected 1920x1080+0+0 (normal left inverted right x axis y axis) 344mm x 193mm
   1920x1080 60.0*+ 59.9
[...]
VGA1 disconnected (normal left inverted right x axis y axis)
HDMI1 disconnected (normal left inverted right x axis y axis)
DP1 disconnected (normal left inverted right x axis y axis)

It's worth noting for anyone interested in using this laptop with Ubuntu that the Mini DisplayPort does "just work".