1.. SPDX-License-Identifier: GPL-2.0+ 2 3EFI subsystem 4============= 5 6Boot services 7------------- 8 9.. kernel-doc:: lib/efi_loader/efi_boottime.c 10 :internal: 11 12Runtime services 13---------------- 14 15.. kernel-doc:: lib/efi_loader/efi_runtime.c 16 :internal: 17