La documentation technique et administrative
Ceci est une ancienne révision du document !
syslinux ne supportant que partiellement les firmwares UEFI, on utilise iPXE.
https://wiki.archlinux.org/index.php/syslinux#Limitations_of_UEFI_Syslinux