Hi, Valerio wrote: > pxelinux.0 apparently doesn't work with uEFI.
That's supposed to be normal. http://www.syslinux.org/wiki/index.php?title=PXELINUX#UEFI says: The "(l)pxelinux.0" bootloaders are capable of netbooting BIOS-based clients. Hardware using UEFI has to use the adequate "syslinux.efi" (for EFI IA32 or for EFI X64, respectively) instead of using "(l)pxelinux.0". Note that UEFI is normally not called "BIOS", but rather is considered to be the successor firmware of old x86 BIOS. Have a nice day :) Thomas