diff options
author | Michael Brown <mcb30@ipxe.org> | 2010-04-19 20:16:01 +0100 |
---|---|---|
committer | Michael Brown <mcb30@ipxe.org> | 2010-04-19 23:43:39 +0100 |
commit | 8406115834d38bb743e01f35bfd36e835532415e (patch) | |
tree | ee1e3106e2cdc645d911ba5643f8414b21fc4c3e /src/include/ipxe/efi/efi_timer.h | |
parent | 2a36703af228bd10d50a31daec96072fe3a992a3 (diff) | |
download | ipxe-8406115834d38bb743e01f35bfd36e835532415e.zip ipxe-8406115834d38bb743e01f35bfd36e835532415e.tar.gz ipxe-8406115834d38bb743e01f35bfd36e835532415e.tar.bz2 |
[build] Rename gPXE to iPXE
Access to the gpxe.org and etherboot.org domains and associated
resources has been revoked by the registrant of the domain. Work
around this problem by renaming project from gPXE to iPXE, and
updating URLs to match.
Also update README, LOG and COPYRIGHTS to remove obsolete information.
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include/ipxe/efi/efi_timer.h')
-rw-r--r-- | src/include/ipxe/efi/efi_timer.h | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/include/ipxe/efi/efi_timer.h b/src/include/ipxe/efi/efi_timer.h new file mode 100644 index 0000000..b10543d --- /dev/null +++ b/src/include/ipxe/efi/efi_timer.h @@ -0,0 +1,18 @@ +#ifndef _IPXE_EFI_TIMER_H +#define _IPXE_EFI_TIMER_H + +/** @file + * + * iPXE timer API for EFI + * + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +#ifdef TIMER_EFI +#define TIMER_PREFIX_efi +#else +#define TIMER_PREFIX_efi __efi_ +#endif + +#endif /* _IPXE_EFI_TIMER_H */ |