On Mon, Feb 3, 2020 at 7:21 PM Pete Batard wrote: > Well, if you can live without SD support and with ACPI rather than > Device Tree, then please be aware that I have just sent a patch that > should enable netinst of *vanilla* Debian ARM64 on a Raspberry Pi 4 in > ACPI mode, when using the EDK2 UEFI firmware from mainline > edk2-platforms (See [1]).
Is there a plan to package edk2-platforms for Debian? We already have an edk2 package, but it only supports x86/ARM virtual machines. It would be nice to have open UEFI firmware for ARM platforms available in Debian. -- bye, pabs https://wiki.debian.org/PaulWise