On Mon, Aug 08, 2022 at 10:43:03AM +0530, Mayuresh wrote: > 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? (PS: It doesn't boot that way for me, just wanted to know whether it's expected to.)