[syslinux] Booting legacy Linux kernel in EFI mode

[H. Peter Anvin]

On 10/16/2013 04:06 PM, Gene Cumm wrote:
> 
> It's about options.  If an x64 UEFI can boot an IA32 kernel, you don't
> need two on your PXE system.
> 
> Like Ciprian, I can't boot an IA32 kernel from my x64 UEFI with
> Syslinux EFI64, even though both can do BIOS and EFI boot.
> 

There is work underway in the kernel to remedy this, but it isn't there yet.

	-hpa