Re: Feedback from the community -> ARM
On Sat, Jun 12, 2021 at 10:58 AM Pete Batard wrote:
> On 2021.06.12 09:29, Paul Wise wrote:
> > Will this be added to edk2-platforms?
> > https://github.com/tianocore/edk2-platforms/
> It already has:
> The Raspberry Pi 4 UEFI firmware has been an official EDK2
> implementation for some time...
Hmm, then I don't understand the point of the rpi4-uefi.dev project
then. I guess it only exists because people don't want to compile
edk2-platforms themselves, the RPi Foundation doesn't offer
precompiled edk2-platforms, TianoCore doesn't offer precompiled
edk2-platforms and the RPi4 is the most popular platform supported by
edk2-platforms. Perhaps Debian should have edk2-platforms and
edk2-non-osi packages supporting all the devices to fill this gap.