OpenBSD manual page server

Manual Page Search Parameters

EFI(4) Device Drivers Manual (arm64) EFI(4)

efiEFI 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.

intro(4)

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-7.3