On Tue, Aug 13, 2013 at 11:43:30AM -0700, James Bottomley wrote: > Can we actually boot a 32 bit kernel on an EFI64 system? The last time > I tried on my Secure Boot SDV it wouldn't work; the problem is getting > someting in the transfer of control path to boot the processor back to > 32 bit mode. In theory, as long as you jump to the 32-bit entry point having already set the cpu to that mode. The linux command in grub2 ought to do that. -- 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
