I see from https://wiki.freebsd.org/arm/Raspberry%20Pi%205
that it links to archived project rpi5-uefi
I assumed someone had made a kernel that would be able to be loaded directly by RPi5 bootloader, but that does not seem to exist.
An option is to run FreeBSD in a KVM in RPiOS, else get an SBC for which good UEFI BIOS is available.
that it links to archived project rpi5-uefi
I assumed someone had made a kernel that would be able to be loaded directly by RPi5 bootloader, but that does not seem to exist.
An option is to run FreeBSD in a KVM in RPiOS, else get an SBC for which good UEFI BIOS is available.
Statistics: Posted by redvli — Sun Jul 20, 2025 2:47 pm