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

github.com/pbatard/RaspberryPiPkg

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.