Re: The state of Arm64 on Raspberry Pi (and its Documentation
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
Reply to: