src/arch/i386/Makefile.efi

   1 # -*- makefile -*- : Force emacs to use Makefile mode
   2
   3 # Specify EFI image builder
   4 #
   5 ELF2EFI         = $(ELF2EFI32)
   6
   7 # Use EFI ABI
   8 #
   9 CFLAGS          += -malign-double
  10
  11 # Specify EFI boot file
  12 #
  13 EFI_BOOT_FILE   = bootia32.efi
  14
  15 # Include generic EFI Makefile
  16 #
  17 MAKEDEPS        += arch/x86/Makefile.efi
  18 include arch/x86/Makefile.efi