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
sinplebusi at na inbus8: "enmc2bus" sdhc1 at sinplebus1 sdhc1; SDHC 3.8, 188 MHz base clock
sdnnc1 at sdhc1; 8-bit, sd high-speed, ac high-speed, ddle 52 dina
"arn-pnu" at nainbus8 not configured
agtiner8 at noinbus8: 54888 kHz sinplebus2 at noinbus8: "sch"
bcnpcie8 at sinplebus2 pci8 at bcnpcien
(final part 4/3)
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!