EFI(4) - Device Drivers Manual (arm64) #
EFI(4) - Device Drivers Manual (arm64)
NAME #
efi - EFI runtime services
SYNOPSIS #
efi* at fdt?
DESCRIPTION #
The 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.
SEE ALSO #
HISTORY #
The efi device driver first appeared in OpenBSD 6.3.
AUTHORS #
The efi driver was written by Mark Kettenis <kettenis@openbsd.org>.
OpenBSD 7.5 - April 7, 2018