RaspberryPiPkg (64 UEFI for RPI)

This is the UEFI that allows it all to happen, withouth this UEFI you could never be able to boot windows 10 on your Raspberry PI.

Driver funcionality score:

8 (1-10)

Driver notes:

Limited USB1, RTC, and NVRAM support. Rare incompatibility with keyboards (such as freezing before OS boot)

Driver Download