On Wed, 07 Jan, at 11:48:51AM, Ard Biesheuvel wrote:

On 6 January 2015 at 09:04, Matt Fleming [off-list ref] wrote:

quoted

It looks like you should be setting EFI_BOOT (and EFI_64BIT) in
efi_init() if efi_get_fdt_params() succeeds.

Yes, I agree. We should probably set EFI_SYSTEM_TABLES in uefi_init()
then, and possibly unset it again if we fail to remap it.

Yeah, I think that would be more correct.

-- 
Matt Fleming, Intel Open Source Technology Center