Hello everybody, I am looking for the efi64/syslinux.efi with IP support like the bios/lpxelinux.0 version has. I am using debian buster with: syslinux-efi 3:6.04~git20190206.bf6db5b4+dfsg1-1 all collection of bootloaders (UEFI bootloader) Thank you in advance, Kind regards, Jelle de Jong