On Tue, Mar 31, 2020 at 2:55 PM Ralph Aichinger wrote: > ...
Others answered the rest, but one additional point: > Does installing Debian on top of UEFI firmware work yet > in practice > > https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi4 Please note that Debian does not have edk2-platforms packaged yet, so you will need to either build it yourself or use builds done by someone else to install/update the boot firmware. In case you want to help package it, check out these links: https://mentors.debian.net/intro-maintainers https://lists.debian.org/debian-efi/ https://salsa.debian.org/efi-team/ -- bye, pabs https://wiki.debian.org/PaulWise
