geerlingguy starred edk2-porting/edk2-rk3588 · August 25, 2025 11:32 edk2-porting/edk2-rk3588 EDK2 UEFI firmware for Rockchip RK3588 platforms C 716 Updated May 21