On 2021-06-12 11:57 +0100, Pete Batard wrote:
> As a matter of fact, starting with RPi3, the Raspberry Pi has been an
> official EDK2/UEFI platform for more than 2 years now.
> ... Debian could do itself a
> favour by embracing UEFI support for platforms that have it and at the same
> time try to set a clear delimiter of responsibilities ("ARM manufacturers,
> if you provide a working UEFI implementation for your platform to take care
> of the early boot code/custom kernel headaches, then we'll see what we can
> do to make our distribution work on it").
We have embraced UEFI and if it's available the installer should use it.
It is my understanding that the current (testing) vanilla debian
installer does boot on a UEFI Pi4 (after we fixed #985956). Is that understanding wrong?
Wookey
--
Principal hats: Linaro, Debian, Wookware, ARM
http://wookware.org/
Attachment:
signature.asc
Description: PGP signature