This repository has been archived on 2020-12-06. You can view files and clone it, but cannot push or open issues or pull requests.

Michael Brown c44a193d0d [legal] Add a selection of FILE_LICENCE declarations ... Add FILE_LICENCE declarations to almost all files that make up the various standard builds of gPXE.		2009-05-18 08:33:25 +01:00
..
Guid	[efi] Use EFI-native mechanism for accessing SMBIOS table	2008-12-04 23:19:12 +00:00
Ia32	[efi] Update to latest UEFI headers	2008-11-18 21:54:51 +00:00
IndustryStandard	[efi] Add efirom utility and .efirom image format	2009-01-08 02:19:18 +00:00
Pi	[efi] Update to latest UEFI headers	2008-11-18 21:54:51 +00:00
Protocol	[efi] Add an EFI_NETWORK_INTERFACE_IDENTIFIER_PROTOCOL interface	2009-01-12 19:11:30 +00:00
Uefi	[efi] Update to latest UEFI headers	2008-11-18 21:54:51 +00:00
X64	[x86_64] Add support for compilation as an x86_64 binary	2008-12-05 00:06:27 +00:00
Base.h	[efi] Update to latest UEFI headers	2008-11-18 21:54:51 +00:00
efi_io.h	[legal] Add a selection of FILE_LICENCE declarations	2009-05-18 08:33:25 +01:00
efi_pci.h	[legal] Add a selection of FILE_LICENCE declarations	2009-05-18 08:33:25 +01:00
efi_smbios.h	[legal] Add a selection of FILE_LICENCE declarations	2009-05-18 08:33:25 +01:00
efi_timer.h	[legal] Add a selection of FILE_LICENCE declarations	2009-05-18 08:33:25 +01:00
efi_uaccess.h	[legal] Add a selection of FILE_LICENCE declarations	2009-05-18 08:33:25 +01:00
efi_umalloc.h	[legal] Add a selection of FILE_LICENCE declarations	2009-05-18 08:33:25 +01:00
efi.h	[efi] Fix compilation on Mac OS X.	2009-03-31 07:39:20 +01:00
import.pl	[efi] Add EFI headers from the EFI Development Kit (edk2)	2008-10-10 04:04:07 +01:00
LICENCE	[efi] Add EFI headers from the EFI Development Kit (edk2)	2008-10-10 04:04:07 +01:00
PiDxe.h	[efi] Add EFI headers from the EFI Development Kit (edk2)	2008-10-10 04:04:07 +01:00
ProcessorBind.h	[x86_64] Add support for compilation as an x86_64 binary	2008-12-05 00:06:27 +00:00
Uefi.h	[efi] Add EFI headers from the EFI Development Kit (edk2)	2008-10-10 04:04:07 +01:00