Hi, I've finally got around to working out how colour on the Zedboard's HDMI transmitter works.
You can find a sample project that displays red/black/green/white/blue colour bars on my wiki, at http://hamsterworks.co.nz/mediawiki/index.php/Zedboard_HDMI_v2.
Hope it helps somebody...
Cheers
Mike