Hi Carlo, [...]
> + > +int efi_stage_firmware_fdt(ulong fdt_addr, ulong *fdt_sizep, char **namep) Is this really limited to efi only? This seems a pretty generic way of loading the DT that's defined somewhere in the firmware. So perhaps remove the efi prefix? Or find a more suitable name for it. [...] Cheers /Ilias
