If you have the skills, don’t hesitate to take a look to these repos:
UEFI and drivers: https://github.com/andreiw/RaspberryPiPkg
If you have the skills, don’t hesitate to take a look to these repos:
UEFI and drivers: https://github.com/andreiw/RaspberryPiPkg