Re: RPI4 install trip report

[mlelstv%serpens.de@localhost (Michael van Elst)]

adr%sdf.org@localhost (adr) writes:

>At least I know now that the aarch64 kernel can be booted directly
>by the rpi4 firmware. Jun Ebihara is also still using uefi. Could
>the rpi4 users in the list that don't use uefi share their experience?

NetBSD GENERIC64 requires UEFI for RPI4.

That doesn't mean that you cannot create a custom system that works
without.