dotfiles/system/hardware/radxa-rock5a

Radxa Rock 5A

Use https://github.com/edk2-porting/edk2-rk3588 (A UEFI implementation) instead of U-Boot

Mainline kernel works, as long as it's sufficiently new.

I use the SATA hat, which needed an overlay to enable PCIe. Also, the ethernet adapter isn't connected via PCIe, it needs the dwmac-rk kernel module (normally it should be loaded automatically, but I need it in initrd).