On Sun, Aug 07, 2022 at 11:52:49AM -0000, Michael van Elst wrote: > RPI userland is not even built for Linux on aarch64 regularly. Can NetBSD aarch64 be booted in 32 bit mode (by setting arm_64bit appropriately in /boot/config.txt) and would userland work on RPI4 then? -- Mayuresh