xM Bare Metal video output

Greetings to all!

I have a “bare-metal” build running on my xM Rev C Beagleboard with output going over the serial port.

Now I would like to begin using the onboard HDMI connector for video output. Does anyone have some “C” code that I can look at (and use) to do this via “bare-metal” on the xM board?