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

[H. Peter Anvin]

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.

	-hpa