src/arch/i386/Makefile.efi

# -*- makefile -*- : Force emacs to use Makefile mode

# Specify EFI image builder
#
ELF2EFI		= $(ELF2EFI32)

# Include generic EFI Makefile
#
MAKEDEPS	+= arch/x86/Makefile.efi
include arch/x86/Makefile.efi
[efi] Add EFI image format and basic runtime environment We have EFI APIs for CPU I/O, PCI I/O, timers, console I/O, user access and user memory allocation. EFI executables are created using the vanilla GNU toolchain, with the EXE header handcrafted in assembly and relocations generated by a custom efilink utility. 2008-10-12 01:55:55 +01:00			`# -- makefile -- : Force emacs to use Makefile mode`

[efi] Allow for .efidrv images as well as .efi images Merge in the changes that allow for building EFI driver images (that can be loaded using the EFI shell's "load" command) as well as EFI applications. 2009-01-07 23:43:26 +00:00			`# Specify EFI image builder`
[efi] Add EFI image format and basic runtime environment We have EFI APIs for CPU I/O, PCI I/O, timers, console I/O, user access and user memory allocation. EFI executables are created using the vanilla GNU toolchain, with the EXE header handcrafted in assembly and relocations generated by a custom efilink utility. 2008-10-12 01:55:55 +01:00			`#`
[efi] Allow for .efidrv images as well as .efi images Merge in the changes that allow for building EFI driver images (that can be loaded using the EFI shell's "load" command) as well as EFI applications. 2009-01-07 23:43:26 +00:00			`ELF2EFI = $(ELF2EFI32)`
[efi] Add EFI image format and basic runtime environment We have EFI APIs for CPU I/O, PCI I/O, timers, console I/O, user access and user memory allocation. EFI executables are created using the vanilla GNU toolchain, with the EXE header handcrafted in assembly and relocations generated by a custom efilink utility. 2008-10-12 01:55:55 +01:00
[efi] Allow for .efidrv images as well as .efi images Merge in the changes that allow for building EFI driver images (that can be loaded using the EFI shell's "load" command) as well as EFI applications. 2009-01-07 23:43:26 +00:00			`# Include generic EFI Makefile`
[efi] Add EFI image format and basic runtime environment We have EFI APIs for CPU I/O, PCI I/O, timers, console I/O, user access and user memory allocation. EFI executables are created using the vanilla GNU toolchain, with the EXE header handcrafted in assembly and relocations generated by a custom efilink utility. 2008-10-12 01:55:55 +01:00			`#`
[efi] Allow for .efidrv images as well as .efi images Merge in the changes that allow for building EFI driver images (that can be loaded using the EFI shell's "load" command) as well as EFI applications. 2009-01-07 23:43:26 +00:00			`MAKEDEPS += arch/x86/Makefile.efi`
			`include arch/x86/Makefile.efi`