]> git.ipfire.org Git - thirdparty/ipxe.git/commitdiff
[efi] Mark imported EDK2 headers as permitted for Secure Boot
authorMichael Brown <mcb30@ipxe.org>
Tue, 13 Jan 2026 14:00:40 +0000 (14:00 +0000)
committerMichael Brown <mcb30@ipxe.org>
Tue, 13 Jan 2026 15:18:16 +0000 (15:18 +0000)
Signed-off-by: Michael Brown <mcb30@ipxe.org>
126 files changed:
src/include/ipxe/efi/AArch64/ProcessorBind.h
src/include/ipxe/efi/Base.h
src/include/ipxe/efi/Guid/Acpi.h
src/include/ipxe/efi/Guid/Fdt.h
src/include/ipxe/efi/Guid/FileInfo.h
src/include/ipxe/efi/Guid/FileSystemInfo.h
src/include/ipxe/efi/Guid/GlobalVariable.h
src/include/ipxe/efi/Guid/HiiFormMapMethodGuid.h
src/include/ipxe/efi/Guid/HiiPlatformSetupFormset.h
src/include/ipxe/efi/Guid/ImageAuthentication.h
src/include/ipxe/efi/Guid/MdeModuleHii.h
src/include/ipxe/efi/Guid/MicrosoftVendor.h
src/include/ipxe/efi/Guid/PcAnsi.h
src/include/ipxe/efi/Guid/Rng.h
src/include/ipxe/efi/Guid/SmBios.h
src/include/ipxe/efi/Guid/TlsAuthentication.h
src/include/ipxe/efi/Guid/WinCertificate.h
src/include/ipxe/efi/Ia32/ProcessorBind.h
src/include/ipxe/efi/IndustryStandard/Acpi10.h
src/include/ipxe/efi/IndustryStandard/Acpi20.h
src/include/ipxe/efi/IndustryStandard/Acpi30.h
src/include/ipxe/efi/IndustryStandard/Acpi40.h
src/include/ipxe/efi/IndustryStandard/Acpi50.h
src/include/ipxe/efi/IndustryStandard/Acpi51.h
src/include/ipxe/efi/IndustryStandard/Acpi60.h
src/include/ipxe/efi/IndustryStandard/AcpiAml.h
src/include/ipxe/efi/IndustryStandard/Bluetooth.h
src/include/ipxe/efi/IndustryStandard/Pci22.h
src/include/ipxe/efi/IndustryStandard/PeImage.h
src/include/ipxe/efi/IndustryStandard/Tpm12.h
src/include/ipxe/efi/IndustryStandard/Tpm20.h
src/include/ipxe/efi/IndustryStandard/UefiTcgPlatform.h
src/include/ipxe/efi/IndustryStandard/Usb.h
src/include/ipxe/efi/Library/BaseLib.h
src/include/ipxe/efi/LoongArch64/ProcessorBind.h
src/include/ipxe/efi/Pi/PiBootMode.h
src/include/ipxe/efi/Pi/PiDependency.h
src/include/ipxe/efi/Pi/PiDxeCis.h
src/include/ipxe/efi/Pi/PiFirmwareFile.h
src/include/ipxe/efi/Pi/PiFirmwareVolume.h
src/include/ipxe/efi/Pi/PiHob.h
src/include/ipxe/efi/Pi/PiMultiPhase.h
src/include/ipxe/efi/Pi/PiS3BootScript.h
src/include/ipxe/efi/Pi/PiStatusCode.h
src/include/ipxe/efi/PiDxe.h
src/include/ipxe/efi/Protocol/AbsolutePointer.h
src/include/ipxe/efi/Protocol/AcpiTable.h
src/include/ipxe/efi/Protocol/AdapterInformation.h
src/include/ipxe/efi/Protocol/Arp.h
src/include/ipxe/efi/Protocol/BlockIo.h
src/include/ipxe/efi/Protocol/BlockIo2.h
src/include/ipxe/efi/Protocol/BusSpecificDriverOverride.h
src/include/ipxe/efi/Protocol/ComponentName.h
src/include/ipxe/efi/Protocol/ComponentName2.h
src/include/ipxe/efi/Protocol/ConsoleControl/ConsoleControl.h
src/include/ipxe/efi/Protocol/DebugSupport.h
src/include/ipxe/efi/Protocol/DevicePath.h
src/include/ipxe/efi/Protocol/DevicePathToText.h
src/include/ipxe/efi/Protocol/Dhcp4.h
src/include/ipxe/efi/Protocol/Dhcp6.h
src/include/ipxe/efi/Protocol/DiskIo.h
src/include/ipxe/efi/Protocol/Dns4.h
src/include/ipxe/efi/Protocol/Dns6.h
src/include/ipxe/efi/Protocol/DriverBinding.h
src/include/ipxe/efi/Protocol/EapConfiguration.h
src/include/ipxe/efi/Protocol/FormBrowser2.h
src/include/ipxe/efi/Protocol/GraphicsOutput.h
src/include/ipxe/efi/Protocol/Hash.h
src/include/ipxe/efi/Protocol/HiiConfigAccess.h
src/include/ipxe/efi/Protocol/HiiDatabase.h
src/include/ipxe/efi/Protocol/HiiFont.h
src/include/ipxe/efi/Protocol/HiiImage.h
src/include/ipxe/efi/Protocol/Http.h
src/include/ipxe/efi/Protocol/Ip4.h
src/include/ipxe/efi/Protocol/Ip4Config.h
src/include/ipxe/efi/Protocol/Ip4Config2.h
src/include/ipxe/efi/Protocol/Ip6.h
src/include/ipxe/efi/Protocol/Ip6Config.h
src/include/ipxe/efi/Protocol/LoadFile.h
src/include/ipxe/efi/Protocol/LoadFile2.h
src/include/ipxe/efi/Protocol/LoadedImage.h
src/include/ipxe/efi/Protocol/ManagedNetwork.h
src/include/ipxe/efi/Protocol/MpService.h
src/include/ipxe/efi/Protocol/Mtftp4.h
src/include/ipxe/efi/Protocol/Mtftp6.h
src/include/ipxe/efi/Protocol/NetworkInterfaceIdentifier.h
src/include/ipxe/efi/Protocol/PciIo.h
src/include/ipxe/efi/Protocol/PciRootBridgeIo.h
src/include/ipxe/efi/Protocol/PxeBaseCode.h
src/include/ipxe/efi/Protocol/Rng.h
src/include/ipxe/efi/Protocol/SerialIo.h
src/include/ipxe/efi/Protocol/ServiceBinding.h
src/include/ipxe/efi/Protocol/SimpleFileSystem.h
src/include/ipxe/efi/Protocol/SimpleNetwork.h
src/include/ipxe/efi/Protocol/SimplePointer.h
src/include/ipxe/efi/Protocol/SimpleTextIn.h
src/include/ipxe/efi/Protocol/SimpleTextInEx.h
src/include/ipxe/efi/Protocol/SimpleTextOut.h
src/include/ipxe/efi/Protocol/StorageSecurityCommand.h
src/include/ipxe/efi/Protocol/Supplicant.h
src/include/ipxe/efi/Protocol/Tcg2Protocol.h
src/include/ipxe/efi/Protocol/TcgService.h
src/include/ipxe/efi/Protocol/Tcp4.h
src/include/ipxe/efi/Protocol/Tcp6.h
src/include/ipxe/efi/Protocol/Udp4.h
src/include/ipxe/efi/Protocol/Udp6.h
src/include/ipxe/efi/Protocol/UgaDraw.h
src/include/ipxe/efi/Protocol/UnicodeCollation.h
src/include/ipxe/efi/Protocol/Usb2HostController.h
src/include/ipxe/efi/Protocol/UsbHostController.h
src/include/ipxe/efi/Protocol/UsbIo.h
src/include/ipxe/efi/Protocol/VlanConfig.h
src/include/ipxe/efi/Protocol/WiFi2.h
src/include/ipxe/efi/RiscV64/ProcessorBind.h
src/include/ipxe/efi/Uefi.h
src/include/ipxe/efi/Uefi/UefiBaseType.h
src/include/ipxe/efi/Uefi/UefiGpt.h
src/include/ipxe/efi/Uefi/UefiInternalFormRepresentation.h
src/include/ipxe/efi/Uefi/UefiMultiPhase.h
src/include/ipxe/efi/Uefi/UefiPxe.h
src/include/ipxe/efi/Uefi/UefiSpec.h
src/include/ipxe/efi/X64/ProcessorBind.h
src/include/ipxe/efi/import.pl
src/util/efifatbin.c
src/util/efirom.c
src/util/elf2efi.c

index 3a7f77465a6fae435f3bfb9841041570c8551712..a64646ab47e6d67c10d575156b9737a07235c8cf 100644 (file)
@@ -13,6 +13,7 @@
 #define __PROCESSOR_BIND_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Define the processor type so other code can make processor based choices
index 860a45d3918c0d647812977a4a4d526ae60a31eb..0002309a3effef53d6f378603e7f7f2337cda789 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __BASE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // Include processor specific binding
index 09b39992649893e234c460a9e2e07b97372c30ed..70beebe346818e32041c069ca6a25ed202ee9341 100644 (file)
@@ -17,6 +17,7 @@
 #define __ACPI_GUID_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define ACPI_TABLE_GUID \
   { \
index a7f94a1c45e81571addf2e027176ef236f3c56f4..5e303ab348c66cf5cbf0749a69ea330d863ca5cb 100644 (file)
@@ -10,6 +10,7 @@
 #define __FDT_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define FDT_TABLE_GUID \
   { 0xb1b621d5, 0xf19c, 0x41a5, { 0x83, 0x0b, 0xd9, 0x15, 0x2c, 0x69, 0xaa, 0xe0 } }
index 62c5f4c0c87acfcfcebf4cd19d24ce9fff9dab60..7baa4550f19642a297e369e280340bb3dde083f9 100644 (file)
@@ -12,6 +12,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __FILE_INFO_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_FILE_INFO_ID \
   { \
index aadebc046c192dca77136bde56c5e7cee595bd45..7f6b9cfdcdb3b4bd951063dd8b03221c76fa6590 100644 (file)
@@ -12,6 +12,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __FILE_SYSTEM_INFO_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_FILE_SYSTEM_INFO_ID \
   { \
index e8f4e0d2b7d86a1bb395c2f5d9ffc52dd5e50f69..48fe5337eaaf2e3c4cdbb4963346f231b37b9d5d 100644 (file)
@@ -12,6 +12,7 @@
 #define __GLOBAL_VARIABLE_GUID_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_GLOBAL_VARIABLE \
   { \
index 2636a1e4a1c9445eb1f72bc4217cd262783746b5..a3fb8473234a6eeed54aeaee77bd766c82d62ecd 100644 (file)
@@ -12,6 +12,7 @@
 #define __EFI_HII_FORMMAP_GUID_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_HII_STANDARD_FORM_GUID \
   { 0x3bd2f4ec, 0xe524, 0x46e4, { 0xa9, 0xd8, 0x51, 0x1, 0x17, 0x42, 0x55, 0x62 } }
index e9a0e026cd85833b3e176b347579878dfc231612..6473602429e963c8cb827ea0ec564ed9b15e1497 100644 (file)
@@ -14,6 +14,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __HII_PLATFORM_SETUP_FORMSET_GUID_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_HII_PLATFORM_SETUP_FORMSET_GUID \
   { 0x93039971, 0x8545, 0x4b04, { 0xb4, 0x5e, 0x32, 0xeb, 0x83, 0x26, 0x4, 0xe } }
index 9af0b41afcea1ce4ca4070a32c6ce4718fb8321c..6b82eb5d0b6013bfa978151fb8fcdc44cea7a740 100644 (file)
@@ -12,6 +12,7 @@
 #define __IMAGE_AUTHTICATION_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Guid/GlobalVariable.h>
 #include <ipxe/efi/Protocol/Hash.h>
index 102025ac8c00cd15f149fafd169fbef3efbd402f..1634b8c62ed0815e9bef13bf90d5c9c9f4d05a3d 100644 (file)
@@ -10,6 +10,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __MDEMODULE_HII_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define NARROW_CHAR        0xFFF0
 #define WIDE_CHAR          0xFFF1
index 063c89213acb269f542adb16a5960b0c029066a7..ded1b90196eac2eff68ec7c257d4515b7d367486 100644 (file)
@@ -20,6 +20,7 @@
 #define MICROSOFT_VENDOR_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Uefi/UefiBaseType.h>
 
index 82835a2e307315102980f06ab79bb457ed7632e3..73b740afd512fad89463d9649fa1b116ad6fca15 100644 (file)
@@ -13,6 +13,7 @@
 #define __PC_ANSI_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_PC_ANSI_GUID \
   { \
index 26f6375cbc994e8bb7bef07bb4bdbaa37c1ef7cb..448b3a69b181f8d8a6d16a526eb863f9503ab957 100644 (file)
@@ -11,6 +11,7 @@
 #define RNG_GUID_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 typedef struct _EFI_RNG_INTERFACE EFI_RNG_INTERFACE;
 
index 0a47a052536a1a5341eeec9abb9f4b496376bbd5..45149bc6ff4d07180224b4b89b687eddbed46885 100644 (file)
@@ -17,6 +17,7 @@
 #define __SMBIOS_GUID_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define SMBIOS_TABLE_GUID \
   { \
index f1e1b4f40a441904858f74d3e28a3afac3d80bd5..806fba92c97cb816c5e398212c0b36c6852f5756 100644 (file)
@@ -10,6 +10,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __TLS_AUTHENTICATION_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 // Private variable for CA Certificate configuration
 //
index 1c706d3a45fb227c6164120edd1656ab48fa61b7..efa6c3d9b68c3b7230b8f8090b80ccc2176194c4 100644 (file)
@@ -12,6 +12,7 @@
 #define __EFI_WIN_CERTIFICATE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // _WIN_CERTIFICATE.wCertificateType
index b922597fb1472a8420bf08a1321227e6cea2f74f..4272ed2540d7d5bd5ea5bf97a1221875e5ffa251 100644 (file)
@@ -10,6 +10,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PROCESSOR_BIND_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Define the processor type so other code can make processor based choices.
index e9a561c222ff83a6fb5573644dd0d2cd6c35cc55..0dc281b55d8d25bf5741274e7812d2e3245dc08b 100644 (file)
@@ -10,6 +10,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define _ACPI_1_0_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/AcpiAml.h>
 
index ad28120b2702222074129e570ff689821e1c394c..131d760daa90696c338b5f51f207939d7bf86fb5 100644 (file)
@@ -9,6 +9,7 @@
 #define _ACPI_2_0_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Acpi10.h>
 
index 867f26d3653400c9c9abc6d3fece7da697e230cb..d5c1a82b373d55ed234462fc15799b950e3ee559 100644 (file)
@@ -10,6 +10,7 @@
 #define _ACPI_3_0_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Acpi20.h>
 
index 6b8a0c981fccc3e7138c57c0c2b9c86699856165..f668ce04b8b2284bd19b9d290842892b4e0fc7ba 100644 (file)
@@ -10,6 +10,7 @@
 #define _ACPI_4_0_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Acpi30.h>
 
index f3759805fab4064e149af26cc3fe9a97bd0624d0..1621411b18d75574a1deae3747cf80203b641b02 100644 (file)
@@ -12,6 +12,7 @@
 #define _ACPI_5_0_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Acpi40.h>
 
index eb7fefab4cac719d2a9ad5d3674b9d9a2aed51b8..ec48c5b251f48beb5a9449085cc2f49a09fb44db 100644 (file)
@@ -13,6 +13,7 @@
 #define _ACPI_5_1_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Acpi50.h>
 
index 2b7d52ac48581a3151db7b0d271df715b5952634..251e27e49bbc0e7ee31c1c4b9e8fe744cd180d44 100644 (file)
@@ -12,6 +12,7 @@
 #define _ACPI_6_0_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Acpi51.h>
 
index d7a83f7fa81c5955ee119e3d473c783e96bc1ff2..4ea320cd07d98bd6a13a966667d763a389ec384f 100644 (file)
@@ -11,6 +11,7 @@
 #define _ACPI_AML_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // ACPI AML definition
index 97b6526b30c05973dab6d1f048227bfb241e26d2..b2547ca0bf0848e14f9554a9c381bfbb30432861 100644 (file)
@@ -11,6 +11,7 @@
 #define _BLUETOOTH_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #pragma pack(1)
 
index 161333d885f5ed6c0f4be3f405629a97de9eaf20..477761c328ccac6cf0753b804c5b2e463b67b193 100644 (file)
@@ -17,6 +17,7 @@
 #define _PCI22_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define PCI_MAX_BUS     255
 #define PCI_MAX_DEVICE  31
index 5cd012e8a5571d907adced232f3e1e96dbabe9f2..f99deb0514ff809ab18bd0f165150349c17e60b3 100644 (file)
@@ -20,6 +20,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PE_IMAGE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // PE32+ Subsystem type for EFI images
index 6cb60dc3f0845c86c11ae1a63afdd413bae319c2..02fda8564f698612a397efa35b533377cf57a20a 100644 (file)
@@ -10,6 +10,7 @@
 #define _TPM12_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// The start of TPM return codes
index 7bcb557003e2e325f64a32f0d4d133dd450f1a88..c70e0a12173b82c827b064a82b9af855f13306f6 100644 (file)
@@ -14,6 +14,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define _TPM20_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Tpm12.h>
 
index 5b02a10a75738acfa90abc55e50ca8f450b2ef3c..98bf7b689bfcf04f3062331a5850cfaa4c882944 100644 (file)
@@ -11,6 +11,7 @@
 #define __UEFI_TCG_PLATFORM_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Tpm12.h>
 #include <ipxe/efi/IndustryStandard/Tpm20.h>
index 2e87e16322e0b30f90ad9bd303021281c1aa4c64..a2b6c1ab9e47eda85524c7628545deb58bcd17fe 100644 (file)
@@ -12,6 +12,7 @@
 #define __USB_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // Subset of Class and Subclass definitions from USB Specs
index 05e9ce50e2b590610d4f3476478206ea50a6e279..30e2c76b150bfeea00c33817d73b2e804a84122f 100644 (file)
@@ -17,6 +17,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __BASE_LIB__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // Definitions for architecture-specific types
index 42d8b79426ffe631d8073ae471a9d8c308b8c6ca..ba7c52ce76cc7b62478e90e2e2d0dff1380d0a70 100644 (file)
@@ -11,6 +11,7 @@
 #define PROCESSOR_BIND_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // Define the processor type so other code can make processor based choices
index 1d8a8a9afaef043898343179bfd0700850adedde..9451c8cbea60c24aef7f91198d679425c696eb71 100644 (file)
@@ -13,6 +13,7 @@
 #define __PI_BOOT_MODE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// EFI boot mode
index bfe30c430b375684a08687a9ab16771c16294857..8c9ffc40b6bfb47ab381de4beaa168ad46274d86 100644 (file)
@@ -13,6 +13,7 @@
 #define __PI_DEPENDENCY_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// If present, this must be the first and only opcode,
index 246b19dac83547a4d6c6842eed68bc8e351f9c92..b501b053f8fcd4dd4686f665901973add8ee91fd 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PI_DXECIS_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Uefi/UefiMultiPhase.h>
 #include <ipxe/efi/Pi/PiMultiPhase.h>
index daf66f8a268967f9c2450e23846f4986bc1facd3..f81070bb03c6bb43d190710ac001add57e46e9c8 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PI_FIRMWARE_FILE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #pragma pack(1)
 ///
index f46134feef27925916d8c63e3aaeff476e87216f..c67f70dcb94e0c8865e54f71cfae36bb8f01b69e 100644 (file)
@@ -13,6 +13,7 @@
 #define __PI_FIRMWAREVOLUME_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// EFI_FV_FILE_ATTRIBUTES
index 7cc19c61d053e6782d780c427d5c48909676e590..4a98e2645864a62533904a1db89909b62130be1c 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PI_HOB_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // HobType of EFI_HOB_GENERIC_HEADER.
index 828ea52f6f833475203b35d77dd2f412e243f1bc..f5ee070683af57e48e389a6b58cc8da493ed4da9 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PI_MULTIPHASE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Pi/PiFirmwareVolume.h>
 #include <ipxe/efi/Pi/PiFirmwareFile.h>
index 97092ddf958d621f6ead421d074c182aa8551210..e7086a56510a88875a70f0ee3e4b4b8b1c6480e2 100644 (file)
@@ -11,6 +11,7 @@
 #define _PI_S3_BOOT_SCRIPT_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 // *******************************************
 // EFI Boot Script Opcode definitions
index 81611ba7d6b27a52636529c73880458c0cc85afa..6015cabb2e8ee9fc5d4d887ecb7f7f4e9d076b7d 100644 (file)
@@ -15,6 +15,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PI_STATUS_CODE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // Required for IA32, X64, IPF, and EBC defines for CPU exception types
index 698c139f0d7a8ff90ba3d33451a6629ecb639594..cef2a0273d5ad30ff8c8ad594caf3b2a51cf2b06 100644 (file)
@@ -11,6 +11,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PI_DXE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Uefi/UefiBaseType.h>
 #include <ipxe/efi/Uefi/UefiSpec.h>
index 48810f90cf0cf13c325f9b511e1564b0f6fc429f..886d214a9c50b49a6090fad939028dc790a998f4 100644 (file)
@@ -14,6 +14,7 @@
 #define __ABSOLUTE_POINTER_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_ABSOLUTE_POINTER_PROTOCOL_GUID \
   { 0x8D59D32B, 0xC655, 0x4AE9, { 0x9B, 0x15, 0xF2, 0x59, 0x04, 0x99, 0x2A, 0x43 } }
index 27a9873c38a081340201102604696ccd42453ddb..601e7b7694aa0b10870fb16929f08bc3ebf235f0 100644 (file)
@@ -14,6 +14,7 @@
 #define __ACPI_TABLE_H___
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_ACPI_TABLE_PROTOCOL_GUID \
   { 0xffe06bdd, 0x6107, 0x46a6, { 0x7b, 0xb2, 0x5a, 0x9c, 0x7e, 0xc5, 0x27, 0x5c }}
index ca79407294ee4695bdc59c7e78e8cacfcc582652..b522887933b8ddc57eec90866c7bab4538941f31 100644 (file)
@@ -15,6 +15,7 @@
 #define __EFI_ADAPTER_INFORMATION_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_ADAPTER_INFORMATION_PROTOCOL_GUID \
   { \
index 0f60e3c4f8b4b33baf091f05706ba76d4eb49069..26dc89d59f4abad9579704ea990b5e5a3c23d5ab 100644 (file)
@@ -19,6 +19,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_ARP_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_ARP_SERVICE_BINDING_PROTOCOL_GUID \
   { \
index 5efaf6e908b5c647fe9d69c78341743dbe1946ec..c5614b1ef1a62866ab5f686f7dff0656325c57fa 100644 (file)
@@ -13,6 +13,7 @@
 #define __BLOCK_IO_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_BLOCK_IO_PROTOCOL_GUID \
   { \
index abc2f8a9bdddd1aa533a2c025fc182353928a395..b985b5dab8c812e6b2593bf4d550f4e2382941b1 100644 (file)
@@ -14,6 +14,7 @@
 #define __BLOCK_IO2_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/BlockIo.h>
 
index 69d9b1dcfbb3c31bcb1dd2bdb4fcae54a35b4c8d..a304f3bfa7e59bf0602ac2e7466ccd86349a638c 100644 (file)
@@ -15,6 +15,7 @@
 #define _EFI_BUS_SPECIFIC_DRIVER_OVERRIDE_PROTOCOL_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Global ID for the Bus Specific Driver Override Protocol
index cd7f4d0e3f4884ca7b2708ea16c6522717b2af21..89e2e19d2a5e3efff530596ba3c26be361dee208 100644 (file)
@@ -12,6 +12,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_COMPONENT_NAME_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// The global ID for the Component Name Protocol.
index 886c9eb52224334c28bbeff9c1fbe5e3b9040d29..ad7818a46f9787143d0c4091d7451791cda5f1ed 100644 (file)
@@ -12,6 +12,7 @@
 #define __EFI_COMPONENT_NAME2_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Global ID for the Component Name Protocol
index c96484ff9da68930ab1d85416bf7b938b408eaf8..cdff796a423b3b141e23cdeda7e66cf9c93b41cb 100644 (file)
@@ -26,6 +26,7 @@ Abstract:
 #define __CONSOLE_CONTROL_H__
 
 FILE_LICENCE ( BSD3 );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_CONSOLE_CONTROL_PROTOCOL_GUID \
   { 0xf42f7782, 0x12e, 0x4c12, {0x99, 0x56, 0x49, 0xf9, 0x43, 0x4, 0xf7, 0x21} }
index c346be0ff8e1b6db5d66377cc9f3c574be950c7c..e97b4c7f190ab26e6b9053481e9041670546a686 100644 (file)
@@ -17,6 +17,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __DEBUG_SUPPORT_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/PeImage.h>
 
index 2bec5a6e5da898d2b536ac9d3503b733e1f422ca..fd7a0ea2731fd68b4703607ca4f1baee0d14dbc2 100644 (file)
@@ -14,6 +14,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_DEVICE_PATH_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Guid/PcAnsi.h>
 #include <ipxe/efi/IndustryStandard/Bluetooth.h>
index 2f591b9a2a7762308a34aa2237732244f02b88ec..fc68a76864f02c53c75499394d1b11d7089b3b61 100644 (file)
@@ -11,6 +11,7 @@
 #define __DEVICE_PATH_TO_TEXT_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Device Path To Text protocol
index 1e7e27b117cd9e636848d079ba67914e227a64b9..c0a365c17a885823da01bdf0d3f737f7a4b6a147 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_DHCP4_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_DHCP4_PROTOCOL_GUID \
   { \
index 19f59086c1b199a0084e4913816a1e0c2313679b..5a3e6148e0e57b98bac2e823a8cd5e324d414d79 100644 (file)
@@ -14,6 +14,7 @@
 #define __EFI_DHCP6_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_DHCP6_PROTOCOL_GUID \
   { \
index c5ce5d33938852a1bafdaa0612bb2ce20c338453..7a81ad5adc820b480badda9a092bdd01aa8d9e68 100644 (file)
@@ -14,6 +14,7 @@
 #define __DISK_IO_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_DISK_IO_PROTOCOL_GUID \
   { \
index 0ab07e5190b3dac001a0fae015555c6f6377b044..36e9757a334cff7e1fb51c0222c5667c9a7b80b2 100644 (file)
@@ -16,6 +16,7 @@
 #define __EFI_DNS4_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_DNS4_SERVICE_BINDING_PROTOCOL_GUID \
   { \
index 3b88c88eb4dc0ff55c3e1dcb4b4672dee8686683..524988c5f3344a5de58d82d589a4be9a344f5818 100644 (file)
@@ -16,6 +16,7 @@
 #define __EFI_DNS6_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_DNS6_SERVICE_BINDING_PROTOCOL_GUID \
   { \
index 3c20275061646b001b2d02b030c726155a66aba1..903545b98e9611cce2b78fe0172e8bd8924fd558 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_DRIVER_BINDING_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// The global ID for the ControllerHandle Driver Protocol.
index 406e56d711e7e49fb99c0ce8ae63ed0aeea8f74d..9808739456c1cdaf19d9f2f41204f3d0480f5a76 100644 (file)
@@ -13,6 +13,7 @@
 #define __EFI_EAP_CONFIGURATION_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// EFI EAP Configuration protocol provides a way to set and get EAP configuration.
index 5e6f940b81eead92b5ba41a3a813dbf31ccc646d..7f726757b6f1e34f61a14ade0689f9dc7b1fe9a5 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_FORM_BROWSER2_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Guid/HiiPlatformSetupFormset.h>
 
index b89315c7d330c9c2b1dcedc13d2ac03b33499c4d..1e822c208c16a5f8b4bebed063bde476ba678236 100644 (file)
@@ -12,6 +12,7 @@
 #define __GRAPHICS_OUTPUT_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID \
   { \
index ac6dcd193564aec571e0cbaa0b149580b0e99304..aabbc3026df2389903931bd6bc5e64aa4e025a10 100644 (file)
@@ -14,6 +14,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_HASH_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_HASH_SERVICE_BINDING_PROTOCOL_GUID \
   { \
index aaa51a31b0f25940acf12a07f3a1eb72bad3e38b..e48a48335ba1ac50e7dac80d0ecde7caa0308716 100644 (file)
@@ -17,6 +17,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_HII_CONFIG_ACCESS_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/FormBrowser2.h>
 
index d077b1167e0a7ccef36f3caa2a15c6597079724e..4338319d10b140c6ab07c455e5ab814ec8253432 100644 (file)
@@ -14,6 +14,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __HII_DATABASE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_HII_DATABASE_PROTOCOL_GUID \
   { 0xef9fc172, 0xa1b2, 0x4693, { 0xb3, 0x27, 0x6d, 0x32, 0xfc, 0x41, 0x60, 0x42 } }
index 248f13ea530b45252ffe337114e304bf60084ad8..6d6f88514a97685ed99e11164530b9e1e6cb5cbb 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __HII_FONT_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/GraphicsOutput.h>
 #include <ipxe/efi/Protocol/HiiImage.h>
index 20fd7257899aa9ba0885e3002493cb424de0ec14..f40c00eb7d20a49c0ba949ed4fadabcf84586faf 100644 (file)
@@ -13,6 +13,7 @@
 #define __HII_IMAGE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/GraphicsOutput.h>
 
index 3128d39a95db03809778d5848a88fcbc51544515..84eb20600dcc2101694703a6f12ffcdfd1176e0e 100644 (file)
@@ -17,6 +17,7 @@
 #define __EFI_HTTP_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_HTTP_SERVICE_BINDING_PROTOCOL_GUID \
   { \
index 0455c7b2f4020e9d935d54fbc282d6d9025ca240..f45465860f9e700af18ab9bf6dd208888b295f21 100644 (file)
@@ -22,6 +22,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_IP4_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/ManagedNetwork.h>
 
index 1a44f13a6c7b4b44e2ac896e95ded77bc7815859..45d395ca8f27d16de1c7d25716d07d54bbe7e3cd 100644 (file)
@@ -17,6 +17,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_IP4CONFIG_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/Ip4.h>
 
index ca091dea503fa837c2b879bec670fa1aae3901a4..36238717944640df901290ea5fcd473fbafed9f6 100644 (file)
@@ -14,6 +14,7 @@ This Protocol is introduced in UEFI Specification 2.5
 #define __EFI_IP4CONFIG2_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/Ip4.h>
 
index c70df190695702e1ea13d6fbbf5576fc5371fcf4..2d19b806a0a5c98d0f0b14f3abf4f7ee8ddd97c7 100644 (file)
@@ -22,6 +22,7 @@
 #define __EFI_IP6_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/ManagedNetwork.h>
 
index 5665e93b9b43f99fe39bd016a877ac3c03ba3786..75c5adbb09d0454f5c13963bb2b4a212ba0320a7 100644 (file)
@@ -11,6 +11,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_IP6CONFIG_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/Ip6.h>
 
index 034b22b55f1e3aa636df33976cf0e82b1df5a9db..47e1646008379b2ebc2e91f56fbabe7dbcdf77e9 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_LOAD_FILE_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_LOAD_FILE_PROTOCOL_GUID \
   { \
index 2cb155dda3046bf5ef6709391d413c39edd4ed2f..409e411cf18dab33d5c14f7b7ca0ab77dcdb796b 100644 (file)
@@ -16,6 +16,7 @@
 #define __EFI_LOAD_FILE2_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_LOAD_FILE2_PROTOCOL_GUID \
   { \
index db331b88f200a0cf02385012b7924c451b835554..401f464fa082c721ed2370e0f21a1cd694719013 100755 (executable)
@@ -13,6 +13,7 @@
 #define __LOADED_IMAGE_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_LOADED_IMAGE_PROTOCOL_GUID \
   { \
index 44a27ed1f3b892d42e61154924d2887462a45e63..60e7e9ae871bae73f63802b7759989f89a650c34 100644 (file)
@@ -14,6 +14,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_MANAGED_NETWORK_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/SimpleNetwork.h>
 
index cd1bb27fe01d1cc9286b746835a9b757ab9841bf..1a187466262aafc202d2160db8e3f9cfe037cc77 100644 (file)
@@ -40,6 +40,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define _MP_SERVICE_PROTOCOL_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Global ID for the EFI_MP_SERVICES_PROTOCOL.
index 4890c8ab26af0fce46ccccbeb1733064878b1e9d..5e50fcc9f3fe36a191449ec593f498e393162c6a 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_MTFTP4_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_MTFTP4_SERVICE_BINDING_PROTOCOL_GUID \
   { \
index b08af87e19ab33fa02b767020621c9a082d9f775..5a6d640e5a6ecf2cb7764b5007a1313e58889625 100644 (file)
@@ -17,6 +17,7 @@
 #define __EFI_MTFTP6_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_MTFTP6_SERVICE_BINDING_PROTOCOL_GUID \
   { \
index 1ce13f273a33b5f40a181cd0a1b98ddc2f6768d1..5a0a82071d9e77c6ca3ca7a76f21f25a32ce0a53 100644 (file)
@@ -13,6 +13,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_NETWORK_INTERFACE_IDENTIFER_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 //
 // GUID retired from UEFI Specification 2.1b
index c733925d5d253f4042f9b01de4926ddd5bc57eba..3c2582cab7b1a4cd61a12c4b8a3157d207277159 100644 (file)
@@ -11,6 +11,7 @@
 #define __PCI_IO_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Global ID for the PCI I/O Protocol
index b6a4780274258e26fbecebcc0f9e5cb239a22a54..674e864d1f5785b54fba7ea582380a164affd9eb 100644 (file)
@@ -14,6 +14,7 @@
 #define __PCI_ROOT_BRIDGE_IO_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Library/BaseLib.h>
 
index 3498eba5bd11da13cfee8a56b77385c2bf833f1d..5db934370ca53955ff4618bb92f3ec64157a4426 100644 (file)
@@ -17,6 +17,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PXE_BASE_CODE_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// PXE Base Code protocol.
index a252a222c2453dfbe29a00f605fb4b235c2274cd..e4ad3d716e60802d4eb75d999092e42c437e6e02 100644 (file)
@@ -12,6 +12,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define EFI_RNG_PROTOCOL_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Guid/Rng.h>
 
index 1e44a21c4a3e067207c6d26c129fa2adbe705ad5..31fd99215e18ead6167eda36f0caba8a9352c631 100644 (file)
@@ -13,6 +13,7 @@
 #define __SERIAL_IO_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_SERIAL_IO_PROTOCOL_GUID \
   { \
index 6baf73aa7cbac41a9a5af28cfcd9a202f0007fbd..d23059ccfffc89fe0792713cb4ef0f6095e90ba3 100644 (file)
@@ -14,6 +14,7 @@
 #define __EFI_SERVICE_BINDING_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Forward reference for pure ANSI compatability
index 62edb2a8842f0f30db954daa355dd273f1352b4c..39944c31af0a54a11fa8964c47b111c3957ccdfe 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __SIMPLE_FILE_SYSTEM_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_SIMPLE_FILE_SYSTEM_PROTOCOL_GUID \
   { \
index 141ab885688a215a8a45eb8d87f14df0f1204e22..d7e4e118289ff89e744f35474f918c56571c22e7 100644 (file)
@@ -21,6 +21,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __SIMPLE_NETWORK_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_SIMPLE_NETWORK_PROTOCOL_GUID \
   { \
index 3993918fbd899cecb0a5eebb24ef4cdee40775cd..1381b7ec142160e1b9b3a3c91728ca154392f8c1 100644 (file)
@@ -12,6 +12,7 @@
 #define __SIMPLE_POINTER_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_SIMPLE_POINTER_PROTOCOL_GUID \
   { \
index 7e53d523c0321215b3bb706216cdd6956ace274e..1198ff81a7cde418bb26b13ed43a89e4999089a6 100644 (file)
@@ -13,6 +13,7 @@
 #define __SIMPLE_TEXT_IN_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_SIMPLE_TEXT_INPUT_PROTOCOL_GUID \
   { \
index 8971b4f185318e7e5d13c318fcc5697e882bf0c7..f797a45c9e2fc6d70fd88160fe77dadd6a8e40ac 100644 (file)
@@ -14,6 +14,7 @@
 #define __SIMPLE_TEXT_IN_EX_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/SimpleTextIn.h>
 
index 8240188228bab6a6f763b06c40df9b84dcdc86bc..349e9debe2e02a0283ea8182f5db60d5015c16d0 100644 (file)
@@ -15,6 +15,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __SIMPLE_TEXT_OUT_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL_GUID \
   { \
index 9e53de70ca9f9ec68223c683f7ea0dfb6f8e812e..f00eb925c91a9fb09fd7f6ba60ba1fec628eaa9c 100644 (file)
@@ -14,6 +14,7 @@
 #define __STORAGE_SECURITY_COMMAND_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_STORAGE_SECURITY_COMMAND_PROTOCOL_GUID \
   { \
index 8b3d75361736915b2a4fb68898c629e5ba343d00..51a5683350354400e701699a927ef327db2ff60f 100644 (file)
@@ -13,6 +13,7 @@
 #define __EFI_SUPPLICANT_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/WiFi2.h>
 
index e6c2a728e9bb25c7ddb4c7c36546565f26835391..4333211b61caf40e570a8f10fe5b5b23337e563a 100644 (file)
@@ -11,6 +11,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __TCG2_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/UefiTcgPlatform.h>
 #include <ipxe/efi/IndustryStandard/Tpm20.h>
index d225ae884621d384339bec1a9152fc4b51dce320..88b9f0ea93212a5ac9ff4e98e5f28e57374b5c3c 100644 (file)
@@ -11,6 +11,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define _TCG_SERVICE_PROTOCOL_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/UefiTcgPlatform.h>
 
index 249f1fe0c8d6a032df087f55b7c9751137608f83..eeecd366db0e9c46d5837ddedf0f3dd2c63e4a52 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_TCP4_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/Ip4.h>
 
index ddceaaf9fdad3e08276b79ea311f4806da386904..df0ed65000398ff8c3b12133f8921911c6d36fef 100644 (file)
@@ -16,6 +16,7 @@
 #define __EFI_TCP6_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/ManagedNetwork.h>
 #include <ipxe/efi/Protocol/Ip6.h>
index dc0586d811c079a3b3afe0665049d839132e7e78..7e8cc68c95a37609419680241b2e29cb6a0a96fb 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_UDP4_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/Ip4.h>
 //
index 5a62a3e02ddc9c27bdefed8f1c9f42820db178ba..4f176b8dbe05b3d75ea9919b77801e19ca0aa1c6 100644 (file)
@@ -15,6 +15,7 @@
 #define __EFI_UDP6_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/Ip6.h>
 
index 94aa9b4a4f80afb334663f09d46ea68fb1f8361d..9e07948c4770acde0c8ecac1c03b522fa350be29 100644 (file)
@@ -15,6 +15,7 @@
 #define __UGA_DRAW_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_UGA_DRAW_PROTOCOL_GUID \
   { \
index 45f1e5e6534c49650ff4e13bab35fd17c00ebfb1..96933d0064685a7c2bd6294d9e1c901f494ed377 100644 (file)
@@ -12,6 +12,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __UNICODE_COLLATION_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_UNICODE_COLLATION_PROTOCOL2_GUID \
   { \
index 657918d44e00b48a708158f3da0321c800787449..4ef2a0cc67142e1b5aaea00d249dcef4cdb62a1d 100644 (file)
@@ -13,6 +13,7 @@
 #define _USB2_HOSTCONTROLLER_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/UsbIo.h>
 
index 3ba091122125194c8c219797c0054651d76b28df..f694b80d5bb026fe5e4de938dd85b1b9d23076cb 100644 (file)
@@ -17,6 +17,7 @@
 #define _USB_HOSTCONTROLLER_H_
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Protocol/Usb2HostController.h>
 
index d5f02bb1707125f3debee48a1e8f5e7d346afe40..7686f241e0b137acbd786e22f8f51f91946af8ad 100644 (file)
@@ -14,6 +14,7 @@
 #define __USB_IO_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/IndustryStandard/Usb.h>
 
index 79b6bc4632ff803478de834817609ceddafad5a0..aa163ab95dfaf56173d7602146197037050df881 100644 (file)
@@ -13,6 +13,7 @@
 #define __EFI_VLANCONFIG_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_VLAN_CONFIG_PROTOCOL_GUID \
   { \
index 1d9bc5f2ee9ac0c7e9abda1a119d6061b9b3cac6..016e6f5881309d6218ff9c08083e4577a6bf9ac0 100644 (file)
@@ -13,6 +13,7 @@
 #define __EFI_WIFI2_PROTOCOL_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_WIRELESS_MAC_CONNECTION_II_PROTOCOL_GUID \
   { \
index 37dd9fc3b6e23488f5a6d8d6390a4599508ab2de..7b3122fc2974ecb8554f01ef923130ca49591263 100644 (file)
@@ -11,6 +11,7 @@
 #define PROCESSOR_BIND_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Define the processor type so other code can make processor based choices
index 2a9973df9a06c923b9b132b844bc3835084b8261..4b8aad331c3a38ec1696e519eb8cbfd3214f4abc 100644 (file)
@@ -15,6 +15,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __PI_UEFI_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Uefi/UefiBaseType.h>
 #include <ipxe/efi/Uefi/UefiSpec.h>
index 386d3feb119f96d58cb94599ca876a0fd8bc3638..80560ed979cd6f218f3f4cf24f67ff51604cc058 100644 (file)
@@ -14,6 +14,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __UEFI_BASETYPE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Base.h>
 
index 38eff7df53190b5ab5d01e6ca1c44349a57eb8d8..4699edee5dbf955b2d9fb80a126a183259418b41 100644 (file)
@@ -10,6 +10,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __UEFI_GPT_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// The primary GUID Partition Table Header must be
index 2d075aed2a4adce41543b0641abd04f0c8303bd1..700cb4693c1ca047ea67d8ad4102907f9659506f 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __UEFI_INTERNAL_FORMREPRESENTATION_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Guid/HiiFormMapMethodGuid.h>
 
index bffd14ce1239aac73d73b94c1b18ed4925b55d38..9584f152de4e3844088f14a58765fbc88b2d17b9 100644 (file)
@@ -10,6 +10,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __UEFI_MULTIPHASE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Attributes of variable.
index b4366eda589a524555f1a5508ec192b6d8e5f74a..54c90f19c5542c81b41721d155868bc06846b2e8 100644 (file)
@@ -16,6 +16,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __EFI_PXE_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #pragma pack(1)
 
index c509602cac620ffe7304154529dbe05980531472..824e8dba6536f2ff096040be5bbdec47c709888c 100644 (file)
@@ -17,6 +17,7 @@ SPDX-License-Identifier: BSD-2-Clause-Patent
 #define __UEFI_SPEC_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/Uefi/UefiMultiPhase.h>
 
index 062a77ba7797886fcd367c0aa7c34f21f6bfc308..fd8c0448446e1141cdb41091907563c82fbd94e4 100644 (file)
@@ -10,6 +10,7 @@
 #define __PROCESSOR_BIND_H__
 
 FILE_LICENCE ( BSD2_PATENT );
+FILE_SECBOOT ( PERMITTED );
 
 ///
 /// Define the processor type so other code can make processor based choices
index cdd58e86d257f34e97bf34b403cd12c3e8f0d783..9490e2f7bb723708b0e3cd6c60698990674fa1ed 100755 (executable)
@@ -77,11 +77,13 @@ sub try_import_file {
        }
        # Write out line
        print $outfh "$_\n";
-       # Apply FILE_LICENCE() immediately after include guard
+       # Apply FILE_LICENCE()/FILE_SECBOOT() immediately after include guard
        if ( defined $maybe_guard && ! defined $guard ) {
          if ( /^\#define\s+${maybe_guard}$/ ) {
            $guard = $maybe_guard;
-           print $outfh "\nFILE_LICENCE ( $licence );\n" if $licence;
+           print $outfh "\n";
+           print $outfh "FILE_LICENCE ( $licence );\n" if $licence;
+           print $outfh "FILE_SECBOOT ( PERMITTED );\n";
          }
          undef $maybe_guard;
        }
index 918e7a3c49cd7ce13ba798679a5f79a9a4e53078..e50f9a9ab601f96b90c3e3dc390320414cf94cfb 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 #define FILE_LICENCE(...) extern void __file_licence ( void )
+#define FILE_SECBOOT(...) extern void __file_secboot ( void )
 #include <stdint.h>
 #include <stddef.h>
 #include <stdlib.h>
index f5ec9a16d014dcb1fe955d13fcf3f42f51a05b3d..af912b87beda32ea5ebabf09958d68dd75ad6d4d 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 #define FILE_LICENCE(...) extern void __file_licence ( void )
+#define FILE_SECBOOT(...) extern void __file_secboot ( void )
 #include <stdint.h>
 #include <stddef.h>
 #include <stdlib.h>
index 91c107ae9a97796a2dbcd65609f1c84a1101d873..9fd7c27ea5ea7a128634211588ea4728aa02f879 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 #define FILE_LICENCE(...) extern void __file_licence ( void )
+#define FILE_SECBOOT(...) extern void __file_secboot ( void )
 #include <stdint.h>
 #include <stddef.h>
 #include <stdlib.h>