|EFI(4)||Device Drivers Manual (arm64)||EFI(4)|
efi — EFI runtime
efi* at fdt?
efi driver provides support for EFI
runtime services offered by UEFI firmware implementations. Support is
currently limited to reading and setting the Real Time Clock on systems that
offer such functionality.
efi device driver first appeared in
efi driver was written by
|April 7, 2018||OpenBSD-current|