Interested to know if anyone can share what sink devices they use to drive the external display? My intention was to achieve something similar via VNC/nx and use a RaspberryPI ZeroW driving a TV via HDMI input.