On Wed, 07 Jan, at 11:48:51AM, Ard Biesheuvel wrote: > On 6 January 2015 at 09:04, Matt Fleming <matt@xxxxxxxxxxxxxxxxx> wrote: > > 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 -- To unsubscribe from this list: send the line "unsubscribe linux-efi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html