RaspberryPiPkg
pbatard/RaspberryPiPkg
64-bit Tiano Core UEFI for the Raspberry Pi 3 (with devices, Linux, NetBSD, FreeBSD and Windows on Arm!)
10stars
Forks
1
Open issues
0
Watchers
10
Size
39.5 MB
C
Created: Oct 31, 2018
Updated: Feb 17, 2026
Last push: Jul 26, 2019
Fork