Hacker GitHub

← All repos

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

Mentions per year 5 mentions · busiest year 2019 (1)
20082026
  1. …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
  2. …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 *…
  3. > 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...…
  4. 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
  5. …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?