tianocore/edk2-platforms
View on GitHub ↗ ★ 667 C
EDK II sample platform branches and tags
5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2019-12-05 · latest 2026-04-14
20082026
-
…to boards like Orange Pi and Raspberry Pi. You can install a normal OS once you have flashed that. https://github.com/tianocore/edk2-platforms/tree/master/Plat... https://github.com/edk2-porting/edk2-rk3588
comment by joshuaissac · 2026-04-14 · in The Orange Pi 6 Plus -
…the finger at poorly documented hardware changes that the manufacturer has been no help with. * https://github.com/tianocore/edk2-platforms/tree/master/Plat... * https://wiki.netbsd.org/ports/evbarm/raspberry_pi/#index6h2 *…
comment by JdeBP · 2025-07-28 · in Raspberry Pi 5 Gets a MicroSD Express Hat -
> They prefer to keep inner workings secret https://github.com/tianocore/edk2-platforms/tree/master/Sili... https://github.com/tianocore/edk2-platforms/tree/master/Sili... https://github.com/tianocore/edk2-platforms/tree/master/Sili...…
comment by floatboth · 2022-01-04 · in Arm-Based 128-Core Ampere CPUs Cost a Fraction of x86 Price -
Quite a number of the arm boards have open UEFI ports. Tianocore edk-platforms https://github.com/tianocore/edk2-platforms/tree/master/Plat... has a number that are maintained together. Others can be found in various places on github…
comment by StillBored · 2020-10-27 · in UEFI-rs: Write UEFI applications in Rust -
…a system that originally shipped with U-Boot and Flattened Device Trees. Say, for the Raspberry Pi: https://github.com/tianocore/edk2-platforms/tree/8b72f720d53...
comment by floatboth · 2019-12-05 · in Is Arm ready for server dominance?