[syslinux] EFI 64bit and Kernel 32 bit

Ady Ady ady-sf at hotmail.com
Wed Oct 17 09:06:01 PDT 2018

> is it possible to boot a 32 Bit Kernel on 64 EFI firmware with Syslinux?
In theory, booting 32-bit kernels from 64-bit EFI is supposed to be 
supported by "efi64/efi/syslinux.efi" since 2013Jun.

In practice:

_ there is no documentation in The Syslinux Project regarding the 
matter (other than the commit from Matt Fleming);

_ no one has reported success with this case (only failures);

_ the question has been asked in the past in this mailing list (and 
also by means of other official Syslinux channels), but Peter (hpa) has 
scarcely replied with inconsistent / confusing messages (or no reply at 

I sincerely wished I had better news regarding this case.

Best Regards,

More information about the Syslinux mailing list