How to get UEFI booting from USB stick to work?

[NiKiZe]

(2017-01-26 08:16)markot Wrote:  Thank you for your answer. I just tried the following:

1. Run this command in Linux terminal: make bin-x86_64-efi/ipxe.efi

2. Then copied file ipxe.efi file to the FAT32 formatted USB stick to folder EFI/BOOT/ and renamed file to bootx64.efi.

3. Finally restarted the machine where I tried to start iPXE.

Please have a look at the screenshot for details.

pxelinux.0 is probably a PXE binary.
In EFI mode you can only execute ipxe scripts and other EFI binaries, what is it that is your end goal here?