BBB HDMI Out Support

[Jan Lambertz]

I ask myself (and you) if there is a problem getting hdmi to work.
it's not mentioned on http://openbsd.org/armv7.html [Projects].
Someday i would like to ban the serial cable hanging out of my case.
I'm aware of the driver problems with PowerVR and the blob stuff but i
don't want to use X or crazy 3D stuff, just console.
Is there a firmware problem ?
Sorry, i'm not a gpu guy and www-crawling didn't bring useful things up.