Port-arm archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: raspberrypi-userland on aarch64 (RPI4)?



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


Home | Main Index | Thread Index | Old Index