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
@alexshendi1 @solene No prob! Oh yeah it should be much simpler without the full-disk encryption, too :)
Just tried it out on my Raspi 400. Boots from USB,
but stops during boot at the screen below. After thinking for a while it reboots.
What did I forget?
(boot messages as text follow)
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/ ).
(part 1/2)
@amatecha @solene
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).
Gripes:
* 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
(2/2)
@alexshendi1 @solene ahh interesting. so it’s all working now? I did see in OpenBSD matrix channel that there were some differences on the Pi 400. For booting from USB, can you boot from Raspbian and run the raspi-config to change the boot order?
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.
@amatecha @solene
"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