diff options
Diffstat (limited to '')
| -rw-r--r-- | src/VBox/Devices/PC/ipxe/src/arch/arm32/Makefile.efi | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/VBox/Devices/PC/ipxe/src/arch/arm32/Makefile.efi b/src/VBox/Devices/PC/ipxe/src/arch/arm32/Makefile.efi new file mode 100644 index 00000000..e139a055 --- /dev/null +++ b/src/VBox/Devices/PC/ipxe/src/arch/arm32/Makefile.efi @@ -0,0 +1,18 @@ +# -*- makefile -*- : Force emacs to use Makefile mode + +# UEFI requires that enums are always 32 bits +# +CFLAGS += -fno-short-enums + +# Specify EFI image builder +# +ELF2EFI = $(ELF2EFI32) + +# Specify EFI boot file +# +EFI_BOOT_FILE = bootarm.efi + +# Include generic EFI Makefile +# +MAKEDEPS += arch/arm/Makefile.efi +include arch/arm/Makefile.efi |