[syslinux] EFI64 Boot 32 bit kernel....

H. Peter Anvin hpa at zytor.com
Wed Aug 16 12:52:20 PDT 2017

On 07/11/17 12:48, cwbshaw . via Syslinux wrote:
> I'd be grateful for any suggestions on how to resolve this. Unfortunately,
> for what I am doing I really need to TFTP netboot a 32 bit linux kernel via
> EFI64 (long story).

Running 32-bit kernels on EFI64 is not really supported on any level,
including the Linux kernel itself.  The opposite, 64-bit kernels on
EFI32, is supportable if somewhat awkward.


More information about the Syslinux mailing list