From 6ed905aba298136dee5911a33e9692c7bf23335b Mon Sep 17 00:00:00 2001
From: Michael Brown
Date: Fri, 4 May 2012 17:53:23 +0100
Subject: [time] Add Linux time source using gettimeofday()

Signed-off-by: Michael Brown <mcb30@ipxe.org>
---
 src/include/ipxe/time.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/include/ipxe/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>
-- 
cgit v1.2.3-55-g7522