This is your work, valued
quartz64_uefi. EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.
userland. Source code for ARM side libraries for interfacing to Raspberry Pi GPU.
rk3588_uefi. C
avnes. NES emulator
libretro-v4l2. Libretro core for V4L2 capture devices
