Re: Raspberry Pi in 32 bit mode

[Tobias Nygren <tnn%NetBSD.org@localhost>]

On Thu, 2 Apr 2026 14:05:18 +0000 (UTC)
Benny Siegert <bsiegert%netbsd.org@localhost> wrote:

> Hi!
> 
> Is the RPi4 in 32-bit mode supported?
> 
> I tried writing the generic earmv7hf image to an SD card, but I get the 
> blinking LED indicating that the boot failed.
> 
> Next, I tried unzipping the RPi4 UEFI firmware in the /boot partition. I 
> can get to the UEFI shell just fine, but it refuses to start bootarm.efi, 
> saying it is "unsupported".
> 
> Is there a trick that I am missing?
> 
> Can bootaarch64.efi boot a 32-bit kernel, maybe?

I don't think so, however you can absolutely run an aarch64 kernel
with an earmv7hf userland. It generally works quite well.