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 | mj...@srcf.ucam.org -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
