[efi] Add %.usb target for building EFI-bootable USB (or other) disk images
[ipxe.git] / src / arch / x86_64 / Makefile.efi
1 # -*- makefile -*- : Force emacs to use Makefile mode
2
3 # EFI probably doesn't guarantee us a red zone, so let's not rely on it.
4 #
5 CFLAGS          += -mno-red-zone
6
7 # Specify EFI image builder
8 #
9 ELF2EFI         = $(ELF2EFI64)
10
11 # Specify EFI boot file
12 #
13 EFI_BOOT_FILE   = bootx64.efi
14
15 # Include generic EFI Makefile
16 #
17 MAKEDEPS        += arch/x86/Makefile.efi
18 include arch/x86/Makefile.efi