[syslinux] Booting legacy Linux kernel in EFI mode

[H. Peter Anvin]

On 10/16/2013 03:41 PM, Celelibi wrote:
> 
> If I understood correctly, CONFIG_EFI_STUB only allows you to boot
> your kernel as an EFI executable. That is, you can copy it to the
> FAT32 partition and run vmlinuz.efi. See
> Documentation/x86/efi-stub.txt.
> But I don't know about x32 and x64 behavior. Why don't you use a
> 64bits kernel with your x64 UEFI?
> 

It is also the preferred entry path into the kernel when the kernel is
loaded by a bootloader.

	-hpa