Hi,
For some reason I have no HDMI signal from the board. I tried to boot the latest Debian image from an SD card, but no video output at all is seen (not even the booting process). Plugging the same HDMI connector to a laptop acts as expected - full video.
The board seems to boot OK - lights are flashing, and network activity is seen.