Am 20.06.2013 22:01, schrieb Matt Fleming: > * 64-bit syslinux.efi cannot boot 32-bit kernels and vice versa Any ideas on how long this might take to implement? AFAIK, most modern computers with EFI can use only 64-bit EFI, so it would not be possible to boot a 32-bit OS (namely a live cd) on them with Syslinux. Thanks, Andreas