[syslinux] EFI 64bit and Kernel 32 bit

Letan Thomas
Mon, 29 Oct 2018 14:29:25 -0000

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
>