Raspberry Pi in 32 bit mode
Benny Siegert <[email protected]> Thu, 2 Apr 2026 14:05:18 +0000 (UTC)
| Newsgroups | gmane.os.netbsd.ports.arm |
|---|---|
| Message-ID | <[email protected]> |
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? -- Benny