freebsd-skq/sys/dev/efidev
andrew 826cc84370 Add a driver for the EFI RTC. This uses the EFI Runtime Services to query
the system time.

As we seem to only read this time on boot, and this is the only source of
time on many arm64 machines we need to enable this by default there. As
this is not always the case with U-Boot firmware, or when we have been
booted from a non-UEFI environment we only enable the device driver when
the Runtime Services are present and reading the time doesn't result in an
error.

PR:		212185
Reviewed by:	imp, kib
Tested by:	emaste
Relnotes:	yes
Sponsored by:	DARPA, AFRL
Differential Revision:	https://reviews.freebsd.org/D12650
2017-11-21 17:23:16 +00:00
..
efidev.c Turns out to be even simpler to just not create /dev/efi if we don't 2017-08-08 21:01:11 +00:00
efirt.c To prepare for adding EFI runtime services support on arm64 move the 2017-10-01 19:52:47 +00:00
efirtc.c Add a driver for the EFI RTC. This uses the EFI Runtime Services to query 2017-11-21 17:23:16 +00:00