(resending as 1st message didn't go through?)
Has OpenBSD's support for Raspberry Pi devices improved much with 6.4? All the documentation I can find online regarding this platform and OpenBSD refers to 6.3, and suggest that the Raspberry Pi support is very limited (no packages?). The changelog for 6.4 notes for example: "Implemented an EFI driver to allow PXE boot over EFIs Simple Network Protocol, allowing TFTP boot on U-Boot based armv7 and arm64 machines." Does this allow installing without a serial console? These posts seems to suggest booting from the microSD card (vs needing external USB drive) may be possible, but it's not very clear: http://openbsd-archive.7691.n7.nabble.com/OpenBSD-current-doesn-t-boot-on-Raspberry-Pi-3-Model-B-td352103.html http://openbsd-archive.7691.n7.nabble.com/OpenBSD-on-Raspberry-pi-3-model-B-td332780.html#a343278
