andreiw/RaspberryPiPkg

64-bit Tiano Core UEFI for the Raspberry Pi 3 (with devices, Linux, NetBSD, FreeBSD and Windows on Arm!) - andreiw/RaspberryPiPkg