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 | [email protected]
--
To unsubscribe from this list: send the line "unsubscribe linux-efi" in
the body of a message to [email protected]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to