From 81d92c6d34f9ce68f7c2bbd5b92352b3a631bcd0 Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Sun, 12 Oct 2008 01:55:55 +0100
Subject: [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.
---
 src/include/gpxe/efi/efi_timer.h | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/include/gpxe/efi/efi_timer.h

(limited to 'src/include/gpxe/efi/efi_timer.h')

diff --git a/src/include/gpxe/efi/efi_timer.h b/src/include/gpxe/efi/efi_timer.h
new file mode 100644
index 000000000..c332c9d6f
--- /dev/null
+++ b/src/include/gpxe/efi/efi_timer.h
@@ -0,0 +1,16 @@
+#ifndef _GPXE_EFI_TIMER_H
+#define _GPXE_EFI_TIMER_H
+
+/** @file
+ *
+ * gPXE timer API for EFI
+ *
+ */
+
+#ifdef TIMER_EFI
+#define TIMER_PREFIX_efi
+#else
+#define TIMER_PREFIX_efi __efi_
+#endif
+
+#endif /* _GPXE_EFI_TIMER_H */
-- 
cgit v1.2.3-55-g7522