On Thu, Sep 03, 2026 at 15:09:47 +0100, Carlo Caione wrote: > EBBR-style firmware owns the devicetree: the OS is booted via UEFI and > receives the devicetree from the firmware through the EFI configuration > table instead of shipping its own. U-Boot has the handoff mechanism > (efi_install_fdt()), but no generic way to describe and load the > firmware-owned source. As a result, platforms carry downstream commands > to provide it.
Hi Simon, before pushing v4 to address Ilias comments do you have anything for me to fix on your side? Thanks! -- Carlo Caione
