OpenBSD 6.7 is out ...

I found this interesting: "The Raspberry Pi 4 is only supported when using EDK2-based UEFI firmware. By default the boot ROM will only try to load the firmware off an SD card. As with the Raspberry Pi 3, there is no SD/MMC driver yet, but there are no manual steps needed to boot from a USB disk drive." from

So booting from USB-disk on the Pi4 is not only supported but it even is the only option..? I can't really figure out from that page: does it not need the SD card ever, or only once during install, or every time for booting?

The Pi 4 has several interfaces:

SDHCI: I think this is the same as previous Pi (Arasan SDHCI controller), but I don't know for sure. OpenBSD has no driver.

USB 2.0 (USB-C power input): Synopsys DWC2 - this is the same as previous Pis. Supported in OpenBSD.

USB 3.0 (USB-A ports): XHCI controller attached via PCIe. This is all new in the Pi 4. OpenBSD supports.

Ethernet: Broadcom GENET: OpenBSD supported on Pi 4

So the firmware is capable of using the SD card to read kernel (and maybe initramfs), but once you have booted you need the rest of the system on a USB storage device, or a network boot.

Theo