diff options
author | Michael Brown | 2008-10-12 02:55:55 +0200 |
---|---|---|
committer | Michael Brown | 2008-10-13 11:24:14 +0200 |
commit | 81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0 (patch) | |
tree | 7bb6912503c83076ef9cad54a0503abc7aa19907 /src/Makefile.housekeeping | |
parent | [sanboot] Quick and dirty hack to make SAN boot protocols selectable (diff) | |
download | ipxe-81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0.tar.gz ipxe-81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0.tar.xz ipxe-81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0.zip |
[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 14d07fb0..7054cdcf 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. |