How to get UEFI booting from USB stick to work?

[NiKiZe]

take a fat32 drive, NTFS might work but not guranteed

Code:

make bin-x86_64-efi/ipxe.efi
cp bin-x86_64-efi/ipxe.efi /mnt/usb/EFI/Boot/bootx64.efi

this is the default for x64 capable machines, if you machine has a 32-bit efi firmware you will instead need to use the 32bit standard instead (I'm assuming you have x86 based hardware here)

How did you build ipxe.efi which gives you "Could not boot image: Exec format error" or is that the error ipxe gives you when you try to start something else, and if so what is the ipxe.org/ error url that is shown together with that message?