ParentFull threadaclevernickname·Kubuntu 13.10 (or the latest Chakra if you don't like *buntu) should work, and solve your HDMI pain.View on HN