Re: [arch-dev-public] Syslinux 6.0 released with efi support

Am 21.06.2013 16:59, schrieb Tom Gundersen:

There is no need to split up the syslinux package at all (nor grub for that matter) except if we want to support running 32-bit kernel together with 64-bit efi. We don't want to do that as, to the best of my knowledge, on any machine with 64-bit efi one can also use a 64-bit kernel, so I don't think this case is worth taking into consideration.

I think you are forgetting about BIOS here: For syslinux-bios, you always need 32 bit .c32 modules regardless of architecture. For efi, you need .c32 modules matching your architecture. So, for x86_64, the package would contain both 32 (for bios) and 64 bit (for efi) .c32 modules?