Power & Source of Big Ideas

I have tried several other SBCs (including one with the A64 chip). They work, so I am sure the cable is fine.

I guess I got a bad board?

I just received my first NanoPI A64! :) I made a micro SD card with core Xenial, which boots without issue. However, there is no HDMI output! I had to SSH into the machine.

Am I missing something to get HDMI working? I thought it would be part of the image.