3 ms·
NetBSD peeps: if you want to play with UEFI and PSCI support, check out https://github.com/andreiw/RaspberryPiPkg https://github.com/andreiw/RaspberryPiPkg Thi
by andreiw 9y ago
NetBSD peeps: if you want to play with UEFI and PSCI support, check out https://github.com/andreiw/RaspberryPiPkg 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 successfully booting FreeBSD, SUSE Leap 42.3 and Ubuntu 18.04.