1 IPXE_GIT
=git
://git.ipxe.org
/ipxe.git
2 EFI_PREFIX
=efi_discovery_prefix.c
3 EFI_DISCOVERY_BINARY
=ipxe_discovery.efi
4 EFI_DISCOVERY_ENTRY
=_efi_discovery_start
10 cp discovery
/$(EFI_PREFIX
) ipxe
/src
/arch
/x86
/prefix/
11 cp discovery
/Makefile.housekeeping ipxe
/src
/Makefile.housekeeping
14 cp discovery
/console.h ipxe
/src
/config
/local
/console.h
;\
16 make bin-x86_64-efi
/ipxe.efi TGT_LD_ENTRY
=$(EFI_DISCOVERY_ENTRY
);\
17 cp bin-x86_64-efi
/ipxe.efi ..
/..
/bin
/$(EFI_DISCOVERY_BINARY
);\
18 rm -r bin-x86_64-efi
/;\
19 rm config
/local
/console.h
;\
20 make bin-x86_64-efi
/ipxe.efi
;\
21 cp bin-x86_64-efi
/ipxe.efi ..
/..
/bin
/ipxe.efi
;\