Hmm. We get a hotplug disconnection event from the HDMI:
[ 6866.046586] [drm:drm_helper_hpd_irq_event], [CONNECTOR:20:HDMI-A-3] status updated from 1 to 2
and then proceed to turn it off. We've been having issues with HDMI hotplug detection on IvyBridge and there is one patch en route that should help:
commit 202adf4b9f5957b26a1cb97267d78e0edb319c5e Author: Daniel Vetter <email address hidden> Date: Fri Feb 22 00:53:04 2013 +0100
drm/i915: Revert hdmi HDP pin checks
Hopefully that will turn up in the Ubuntu kernel in time.
Hmm. We get a hotplug disconnection event from the HDMI:
[ 6866.046586] [drm:drm_ helper_ hpd_irq_ event], [CONNECTOR: 20:HDMI- A-3] status updated from 1 to 2
and then proceed to turn it off. We've been having issues with HDMI hotplug detection on IvyBridge and there is one patch en route that should help:
commit 202adf4b9f5957b 26a1cb97267d78e 0edb319c5e
Author: Daniel Vetter <email address hidden>
Date: Fri Feb 22 00:53:04 2013 +0100
drm/i915: Revert hdmi HDP pin checks
Hopefully that will turn up in the Ubuntu kernel in time.