andreiw/RaspberryPiPkg
View on GitHub ↗ ★ 741 C
DEPRECATED - DO NOT USE | Go here instead ->
4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2018-04-02 · latest 2019-05-08
20082026
-
…a system than the CPU. For the Raspberry Pi, someone bothered to port EDK2 and write ACPI tables: https://github.com/andreiw/RaspberryPiPkg And Microsoft themselves were interested in the Pi (for IoT Core), so they even have some support…
comment by floatboth · 2019-05-08 · in Pinebook – Powerful, Metal and Open Source ARM 64-Bit Laptop -
▲ 67
64-bit Tiano Core UEFI for the Raspberry Pi 3story by Lwrless · 2018-04-25 · 24 comments
-
…make HID devices work on top of the completely non-conforming Linaro DwUsbHostDxe driver (look at https://github.com/andreiw/RaspberryPiPkg/commits/master/Dri... for a laugh). I did end up having to hit the USB spec in the end, but it's a…
comment by andreiw · 2018-04-16 · in ReactOS releases 0.4.8 with experimental Vista/7/10 software compatibility -
NetBSD peeps: if you want to play with UEFI and PSCI support, check out https://github.com/andreiw/RaspberryPiPkg This is a 64-bit UEFI firmware for RPi3 that uses ATF for PSCI, and has USB, HDMI and SD card support. It has been…
comment by andreiw · 2018-04-02 · in Aarch64 support added