From 6567511c3d2fe80a5fd8db28b75eadd81ef6316c Mon Sep 17 00:00:00 2001
From: Michael Brown <mcb30@ipxe.org>
Date: Tue, 14 Apr 2015 11:55:08 +0100
Subject: [efi] Add EFI time source

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 025280d89..4c5bb2a00 100644
--- a/src/include/ipxe/time.h
+++ b/src/include/ipxe/time.h
@@ -44,6 +44,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 
 /* Include all architecture-independent time API headers */
 #include <ipxe/null_time.h>
+#include <ipxe/efi/efi_time.h>
 #include <ipxe/linux/linux_time.h>
 
 /* Include all architecture-dependent time API headers */
-- 
cgit