Re: [edk2-devel] [edk2-non-osi][PATCH 1/1] RPi: delete device tree binaries

2020-05-01 Thread Ard Biesheuvel
On 5/1/20 12:54 PM, Pete Batard wrote: Reviewed-by: Pete Batard Pushed as 4703c83d7312..dc4afd066ca5 Thanks, -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#58517): https://edk2.groups.io/g/devel/message/58517 Mute This Topic: https

Re: [edk2-devel] [edk2-non-osi][PATCH 1/1] RPi: delete device tree binaries

2020-05-01 Thread Pete Batard
On 2020.04.30 22:18, Andrei Warkentin wrote: These are unnecessary, because we've ripped out FdtDxe logic to use internal devicetree. We are mandating that devicetree must come from the VideoCore firmware (driven by config.txt) [ this must be applied only after the FdtDxe patch removing support

[edk2-devel] [edk2-non-osi][PATCH 1/1] RPi: delete device tree binaries

2020-04-30 Thread Andrei Warkentin
These are unnecessary, because we've ripped out FdtDxe logic to use internal devicetree. We are mandating that devicetree must come from the VideoCore firmware (driven by config.txt) [ this must be applied only after the FdtDxe patch removing support for embedding DTs in UEFI ] Signed-off-by: An