I've recently found on github a design that updates the original EDK 14.4 ZedBoard HDMI to Vivado 2013.4. I have the original no-OS software working on the EDK design, which displays ADI logos at selected resolutions on an HDMI monitor. If I rebuild and run the same software on the Vivado design, everything appears to work on the serial console, but there is no output at all on the HDMI monitor. I don't see any updates to the software on the wiki, so I'm not sure what the problem is. Any pointers would be helpful, thanks.