On Mon, 24 Jun 2013 06:30:00 +0800
Ed Greshko wrote:
Just the smallest amount of googling suggests that an xorg.conf
option exists for this....
Option "BROADCAST_RGB" "0" or "1"
Absolutely true, and a fantastically large amount of
googling doesn't disclose which section it is supposed to
go in to be associated with the HDMI2 output or how
to construct the fragment of xorg.conf that I need
to stick in the /etc/X11/xorg.conf.d directory
to convey it to the driver :-).