Re: raspberrypi-userland on aarch64 (RPI4)?

[Mayuresh <mayuresh%acm.org@localhost>]

On Mon, Aug 08, 2022 at 07:29:51AM +0200, Michael van Elst wrote:
> aarch64 means "64bit mode". Maybe you can boot an earmv7hf (32bit)
> system, but you would be limited to 1GB RAM.

Ok, so arm_64bit= in config.txt doesn't matter, though it is present in
the trimmed config.txt that is packaged on NetBSD.

Also, I guess earmv7hf is not expected to work on RPI4 - going by the wiki
https://wiki.netbsd.org/ports/evbarm/raspberry_pi/#index2h1

-- 
Mayuresh