2 files changed, 19 insertions, 0 deletions
diff --git a/src/include/ipxe/linux/linux_time.h b/src/include/ipxe/linux/linux_time.h
new file mode 100644
index 000000000..93a257730
--- /dev/null
+++ b/src/include/ipxe/linux/linux_time.h
@@ -0,0 +1,18 @@
+#ifndef _IPXE_LINUX_TIME_H
+#define _IPXE_LINUX_TIME_H
+
+/** @file
+ *
+ * Linux time source
+ *
+ */
+
+FILE_LICENCE ( GPL2_OR_LATER );
+
+#ifdef TIME_LINUX
+#define TIME_PREFIX_linux
+#else
+#define TIME_PREFIX_linux __linux_
+#endif
+
+#endif /* _IPXE_LINUX_TIME_H */
diff --git a/src/include/ipxe/time.h b/src/include/ipxe/time.h
index c74959f8e..673fe098a 100644
--- a/src/include/ipxe/time.h
+++ b/src/include/ipxe/time.h
@@ -44,6 +44,7 @@ FILE_LICENCE ( GPL2_OR_LATER );
 
 /* Include all architecture-independent time API headers */
 #include <ipxe/null_time.h>
+#include <ipxe/linux/linux_time.h>
 
 /* Include all architecture-dependent time API headers */
 #include <bits/time.h>