I was thinking about designing a small VGA daughter board but have decided to write a driver for the HDMI chip on my dev board.
It is connected to the same pins as the LCD connector. So can I ask. If I fire up the LCD example and then initialise the hdmi chip I should get an output?