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: > > https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi4 > > 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. -- bye, pabs https://wiki.debian.org/PaulWise
