I'm having trouble with my netbook. Ubuntu works fine otherwise except it won't recognize my HDMI port. I've tried Ironhide and Bumblebee project, and these do enable hardware acceleration, but not the HDMI output. If I search the net all the answers deal with audio over HDMI, but I'd be happy to get even video at 1080p.
As a sidenote, the VGA output works but it's not acceptable since my home TV doesn't support HD resolutions over VGA. This is why it must be HDMI.
Ideas, suggestions, logs/configs you need?