.. SPDX-License-Identifier: GPL-2.0+

EFI subsystem
=============

Boot services
-------------

.. kernel-doc:: lib/efi_loader/efi_boottime.c
   :internal:

Runtime services
----------------

.. kernel-doc:: lib/efi_loader/efi_runtime.c
   :internal: