HDMI as well as VGI output works fine with both opensource and proprietary NVIDIA driver. Just to mention that without proprietary Nvidia driver there is no sound in HDMI.