Andrew Turner 93f7be080f Update the EFI timer to be called once a second ... There is no need to call it evert 10ms when we need 1s granularity. Update to update the time every second. Reviewed by: imp, manu, tsoome Sponsored by: Innovate UK Differential Revision: https://reviews.freebsd.org/D30227		2021-05-12 14:12:34 +00:00
..
boot1	EFI secure boot VECTX related changes	2021-04-30 12:53:45 -05:00
fdt	EFI secure boot VECTX related changes	2021-04-30 12:53:45 -05:00
gptboot	gptboot.efi: Add man page	2021-04-05 23:57:57 -06:00
include	Fix some common typos in comments	2021-03-13 18:26:15 +01:00
libefi	Update the EFI timer to be called once a second	2021-05-12 14:12:34 +00:00
loader	Loader: support booting OS from memory disk (MD)	2021-04-07 13:40:57 -05:00
loader_4th	Create a loader for each interpreter for x86 BIOS and all EFI	2018-08-14 18:44:41 +00:00
loader_lua	Create a loader for each interpreter for x86 BIOS and all EFI	2018-08-14 18:44:41 +00:00
loader_simp	Create a loader for each interpreter for x86 BIOS and all EFI	2018-08-14 18:44:41 +00:00
Makefile	stand: properly declare subdir deps or .WAIT, do parallel build	2020-12-31 11:15:45 -06:00
Makefile.inc	Hoist EFI_TARGET and SOURCE_DATE_EPOCH up into efi/Makefile.inc	2018-07-20 05:18:03 +00:00