ROCK64 anyone?

Hello,

I have the ROCK64 SBC by Pine64, and it is one of the handful of
non-x86 systems with an image intended for it on the FreeBSD download
page. Yesterday I powered it up for the first time with an SD card
flashed with FreeBSD 14.3. Perhaps naively, I connected a USB keyboard
and a HDMI display. I saw nothing (except the power LED on the board
itself). Is this supposed to work as the BSD console, or do I have to
mess with a serial connection?

In the latter case, I'd prefer to get started over ssh, so is sshd
enabled to start with and what is the initial login and password?

Aside: there is also a Raspberry Pi image, but only for RPi 3 and
4. What is the status of RPi 5? Known to not work, known to work,
supposed to work, unknown?

Thanks,

-- 
Ian