[efi] Add EFI time source
authorMichael Brown <mcb30@ipxe.org>
Tue, 14 Apr 2015 10:55:08 +0000 (11:55 +0100)
committerMichael Brown <mcb30@ipxe.org>
Tue, 14 Apr 2015 10:55:08 +0000 (11:55 +0100)
commit6567511c3d2fe80a5fd8db28b75eadd81ef6316c
tree8e83479cf87999dd7a0ed80ca2d1b343014c272a
parenteb2252fd7a580a625d426562b9498f28226a75e7
[efi] Add EFI time source

Signed-off-by: Michael Brown <mcb30@ipxe.org>
src/config/defaults/efi.h
src/include/ipxe/efi/efi_time.h [new file with mode: 0644]
src/include/ipxe/errfile.h
src/include/ipxe/time.h
src/interface/efi/efi_time.c [new file with mode: 0644]