Hi, I’ve been working on bringing EDK2/UEFI up on RK3576 and recently got it running on the ROCK 4D. Basic things like USB boot, Ethernet, ACPI, and a simple UEFI setup menu are working already. The idea is to have a more standard boot flow instead of relying on vendor U-Boot + DTB, so it’s easier to try mainline Linux or other OSes without juggling multiple setups. It’s still early and a lot of things (like NVMe, HDMI, etc.) need more work, but it’s usable enough for testing. If anyone is interested in trying it or contributing,
repo is here: GitHub - gahingwoo/edk2-rk3576: UEFI firmware for RK3576 devices · GitHub
