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

Ady Ady ady-sf at hotmail.com
Thu Aug 17 10:19:29 PDT 2017

> 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.
> 	-hpa
Users' experiences, bug reports, and commit(s) in the Syslinux code, 
all point against Peter's statement.

Whether any of these combinations actually work with Syslinux is 
another matter.

I already wrote about this in prior emails, but they were ignored.


More information about the Syslinux mailing list