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)
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!