[syslinux] EFI 64bit and Kernel 32 bit
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
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,
> 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
>>> I sincerely wished I had better news regarding this case.
>>> Best Regards,
>>> Syslinux mailing list
>>> Submissions to Syslinux at zytor.com
>>> Unsubscribe or set options at:
More information about the Syslinux