Comment on Aarch64 support addedComments−andreiw8yNetBSD peeps: if you want to play with UEFI and PSCI support, check out https://github.com/andreiw/RaspberryPiPkgThis 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.
Comments
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 successfully booting FreeBSD, SUSE Leap 42.3 and Ubuntu 18.04.