Re: Raspberry Pi in 32 bit mode
Benny Siegert <[email protected]> Thu, 2 Apr 2026 14:56:36 +0000 (UTC)
| Newsgroups | gmane.os.netbsd.ports.arm |
|---|---|
| Message-ID | <[email protected]> |
On Thu, 2 Apr 2026, Tobias Nygren wrote: > I don't think so, however you can absolutely run an aarch64 kernel > with an earmv7hf userland. It generally works quite well. There was some reason why this builder needs a 32-bit kernel, unfortunately. -- Benny