On 2022/02/20 21:24, Brian Sandro wrote: > On 02/20/22, Tobias Ammann wrote: > > Hello, > > > > Has anyone here managed to install and run OpenBSD on a Raspberry Pi 400 > > If so, how? > > > > Cheers, > > Tobias > > > Hi! > I've used it for about a year, runs pretty nicely; ARM64 page mentions > getting an EDK2 UEFI bootloader[1] (on microsd) to use an external USB > harddrive as a primary disk so that's what I did. It was pretty > straightforward and everything that works on "plain" pi4 works just fine on > 400. There are even some pages on the internet describing the whole process; > I vividly remember the need to set up couple of options in said uefi loader, > namely hardware tree initialization has to be "dtoverlay+uefi" and the memory > limit has to be disabled. > > [1] https://github.com/pftf/RPi4
Yes, last time I tried OpenBSD worked on pi400 with UEFI but not with U-Boot, this is definitely worth a try.
