On Mon, Jan 07, 2013 at 05:51:20PM +0000, David Woodhouse wrote: > What is the bootloader *supposed* to do? Ignore this case? You can't run 32-bit kernels on 64-bit EFI, or vice-versa. You'll die on the first call to UEFI services. -- Matthew Garrett | mjg59@xxxxxxxxxxxxx -- 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
