On Sat, 7 Nov 2026, Tuxifan wrote:
On Saturday, November 7, 2026 2:32:51 PM Central European Standard Time Robert Swindells wrote:Other people have reported success booting RK3588 systems using UEFI.Weird. I haven't been able to get NetBSD 11.1 booted via UEFI at all on either the Rock 5C or the Rock 5B+ with ACPI enabled. After the bootloader the screen simply goes blank and then there's no signal and no more signs of life.
FWIW, I run an OrangePi 5, which is an R3588, in production with NetBSD 11. I use the UEFI firmware from github.com/edk2-porting/edk2-rk3588. Zero issues.
-- Benny