diff options
| author | Michael Brown <mcb30@ipxe.org> | 2015-04-14 11:55:08 +0100 |
|---|---|---|
| committer | Michael Brown <mcb30@ipxe.org> | 2015-04-14 11:55:08 +0100 |
| commit | 6567511c3d2fe80a5fd8db28b75eadd81ef6316c (patch) | |
| tree | 8e83479cf87999dd7a0ed80ca2d1b343014c272a /src/include/ipxe/time.h | |
| parent | eb2252fd7a580a625d426562b9498f28226a75e7 (diff) | |
| download | ipxe-6567511c3d2fe80a5fd8db28b75eadd81ef6316c.tar.gz | |
[efi] Add EFI time source
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Diffstat (limited to 'src/include/ipxe/time.h')
| -rw-r--r-- | src/include/ipxe/time.h | 1 |
1 files changed, 1 insertions, 0 deletions
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 */ |