edk2-rk3576
EDK2 / TianoCore UEFI firmware for Rockchip RK3576 boards: Radxa ROCK 4D and ArmSoM CM5-IO.
BootROM → U-Boot SPL → TF-A BL31 → EDK2 (BL33) → OS
Both boards boot to the UEFI front page over HDMI and run Fedora from an NVMe disk. CM5-IO also runs Windows 10 21H2 Setup.
Get it
- Images: latest release
- Flash from the browser: flash.gahingwoo.com
- Source: github.com/gahingwoo/edk2-rk3576
What works on each board, and the open issues, are in the README.
Screenshots
Real captures from these boards.
| Radxa ROCK 4D | ArmSoM CM5-IO |
|---|---|
 |
 |
| TianoCore front page, 2560×1440@60 over HDMI | TianoCore front page, 2560×1440@60 over HDMI |
 |
 |
| GNOME About: Fedora 44, 11.5 GiB RAM | GNOME About: Fedora 45 Workstation, kernel 7.2, 3.7 GiB RAM, Mali-G52 via Panfrost |
 |
 |
| GRUB from a Fedora USB stick | Fedora live console |
Windows 10 21H2 ARM64 Setup on CM5-IO. NVMe works, all 8 CPUs come up, and the cores run at 1608 MHz.
Fedora’s About → System Details panel reads its model and firmware version from the SMBIOS tables the firmware writes.
Docs
- Flashing: the browser tool,
rkdeveloptool, SD card and eMMC - Building: host setup, dependencies, the three build scripts
- Image layout: byte offsets in each image, and the FIT
- Hardware: the board facts the firmware depends on