It's an archlinux PKGBUILD that applies a couple patches for the device drivers and HDMI. This can probably be repurposed to build on any linux distro. Obviously flash your firmware with caution, but it's been booting from SPI to NVME without any issue for a while now.
If there is more interest in this, I can fully flesh this out.
Here's something I kinda threw together that gets EDK2 usable on an OrangePi 5 max. https://github.com/RAMJAC-digital/edk2-rk3588/tree/main
It's an archlinux PKGBUILD that applies a couple patches for the device drivers and HDMI. This can probably be repurposed to build on any linux distro. Obviously flash your firmware with caution, but it's been booting from SPI to NVME without any issue for a while now.
If there is more interest in this, I can fully flesh this out.