Re: raspberrypi-userland on aarch64 (RPI4)?

[Michael van Elst <mlelstv%serpens.de@localhost>]

On Mon, Aug 08, 2022 at 10:43:03AM +0530, Mayuresh wrote:
> 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?

aarch64 means "64bit mode". Maybe you can boot an earmv7hf (32bit)
system, but you would be limited to 1GB RAM.


Greetings,
-- 
                                Michael van Elst
Internet: mlelstv%serpens.de@localhost
                                "A potential Snark may lurk in every tree."