Made a post about installing #OpenBSD on a Pi 4 with full-disk encryption. http://matecha.net/posts/openbsd-on-pi-4-with-full-disk-encryption/ feedback welcome if there are mistakes
"nailbox" at simplebus? not configured
sdhc8 at simplebus8
sdhc8: SDHC 3.8. 250 MHz base clock
sdrc8 at sdhc8: 4-bit, sd high-speed, mmc high-speed
"gpionen" at simplebus8 not configured
"fb" at sinplebus8 not configured
"vcsn" at simplebus8 not configured "clocks" at nainbus@ not configured
"phy" at nainbus8 not configured "clk-2711" at mainbus8 not configured
"clk-1881" at na inbus8 not configured
Got it working now:
You must fetch the latest release from https://github.com/pftf/RPi4 . You should the mount the ESP partion of the install usb drive and unpack the contents of the archive to it. You can omit the "firmware" subdirectory. You will have to delete several *.dtb files (those for RPi 2 and 3) to make space.
You can then install as usual (as mentioned in http://matecha.net/posts/openbsd-on-pi-4-with-full-disk-encryption/ ).
After the installation process, escape to a shell mount the ESP of the install usb drive (not! the new root disk) and copy its contents to the ESP of the new root drive (should be mounted at /mnt/mnt, i.e. : cp -Rv /mnt2/* /mnt/mnt).
* Can't change keyboard layout during installation. the kbd program isn't even included in the ramdisk.
* Somehow, you still have to remind the RPi 400 to boot from USB by hitting ESC at the boot prompt
I did run raspi-config from Raspian before the install. It booted ok from the install image, but failed to do so from the new root drive. Also, that may have been a transient situation. I currently have issues with networking, as neither ethernet nor wireless work, even after a fw_update. I suppose I may need different firmware. X.org works, but I haven't checked, wether via efi framebuffer or accelerated.
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!