diff options
author | Michael Brown <mcb30@etherboot.org> | 2008-10-12 01:55:55 +0100 |
---|---|---|
committer | Michael Brown <mcb30@etherboot.org> | 2008-10-13 10:24:14 +0100 |
commit | 81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0 (patch) | |
tree | 7bb6912503c83076ef9cad54a0503abc7aa19907 /src/Makefile.housekeeping | |
parent | 54c024e0af429e544137fb12002591cea50634a8 (diff) | |
download | ipxe-81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0.zip ipxe-81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0.tar.gz ipxe-81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0.tar.bz2 |
[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.
Diffstat (limited to 'src/Makefile.housekeeping')
-rw-r--r-- | src/Makefile.housekeeping | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/Makefile.housekeeping b/src/Makefile.housekeeping index 14d07fb..7054cdc 100644 --- a/src/Makefile.housekeeping +++ b/src/Makefile.housekeeping @@ -695,6 +695,15 @@ CLEANUP += $(ZBIN) ############################################################################### # +# The EFI custom linker +# +$(EFILINK) : util/efilink.c $(MAKEDEPS) + $(QM)$(ECHO) " [HOSTCC] $@" + $(Q)$(HOST_CC) -O2 -o $@ $< -lbfd +CLEANUP += $(EFILINK) + +############################################################################### +# # Auto-incrementing build serial number. Append "bs" to your list of # build targets to get a serial number printed at the end of the # build. Enable -DBUILD_SERIAL in order to see it when the code runs. |