[syslinux] EFI 64bit and Kernel 32 bit

Letan Thomas thomas.letan at ssi.gouv.fr
Mon Oct 29 07:29:25 PDT 2018

I was able to successfully boot 32-bit kernels with a 64-bit syslinux
two years ago. There were a bug in syslinux that prevented it, but I was
able to write a patch which is now in the latest tagged version as far
as I remember.

Best regards,

Le 18/10/2018 à 08:24, hfekih via Syslinux a écrit :
> Hello Ady
> thank you very much for the accurate reply and for saving my time :-)
> Best Regards,
> On 17.10.18 18:06, Ady Ady via Syslinux wrote:
>>> 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
>> all).
>> I sincerely wished I had better news regarding this case.
>> Best Regards,
>> Ady.
>> _______________________________________________
>> Syslinux mailing list
>> Submissions to Syslinux at zytor.com
>> Unsubscribe or set options at:
>> http://www.zytor.com/mailman/listinfo/syslinux

More information about the Syslinux mailing list