OpenBSD for RockPro64

[simonp]

I have a RockPro64 v2.1 on which I am trying to boot OpenBSD-current (built 2020-09-22). I booted into the installer from an SD card and successfully installed all packages onto an external USB 2.0 SSD (Samsung Portable SSD T5) by following https://github.com/krjdev/rock64_openbsd. I removed the SD card, rebooted, and got as far as the following lines after repeated attempts:

  bootfile: sd0a:/bsd
  boot device: lookup sd0a:/bsd failed
  root device:

If I press Enter, all I get is:

  use one of: exit dwge0
  root device:

For anyone who's successfully gotten OpenBSD working on their RockPro64:

    Is booting from an external drive supported or do I need to install onto and boot from an SD card?

I can post my serial log / dmesg if it would be helpful.

Thanks!