Re: [edk2-devel] [edk2-non-osi][PATCH 0/2] Add prerequisite binary files for RPi4 platform

2019-12-11 Thread Ard Biesheuvel
On Wed, 11 Dec 2019 at 12:24, Pete Batard wrote: > > This series of patches adds the binaries we need available to introduce > Raspberry Pi 4 support. > > Similar to the Pi 3, we must have TF-A and Device Tree binaries we can embed. > > Pete Batard (2): > Platforms/RPi4: Add Device Tree >

[edk2-devel] [edk2-non-osi][PATCH 0/2] Add prerequisite binary files for RPi4 platform

2019-12-11 Thread Pete Batard
This series of patches adds the binaries we need available to introduce Raspberry Pi 4 support. Similar to the Pi 3, we must have TF-A and Device Tree binaries we can embed. Pete Batard (2): Platforms/RPi4: Add Device Tree Platforms/RPi4: Add Trusted Firmware binaries