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