[syslinux] EFI 64bit and Kernel 32 bit

hfekih hfekih at cannon.com
Tue Oct 30 00:53:12 PDT 2018

Thank you for the info,

I tested the latest version Syslinux 6.03 (64 bit) and it didn't work.

the boot loader text shows up, then the screen freezes.

maybe it works only on some specific boards/CPUs.

Thank you for the reply's, the problem is now solved by using another 

Best Regards,

On 29.10.18 15:29, Letan Thomas wrote:
> 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,
> Thomas
> 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