]> git.ipfire.org Git - thirdparty/ipxe.git/commitdiff
[build] Mark core files as permitted for UEFI Secure Boot
authorMichael Brown <mcb30@ipxe.org>
Wed, 14 Jan 2026 13:25:34 +0000 (13:25 +0000)
committerMichael Brown <mcb30@ipxe.org>
Wed, 14 Jan 2026 13:25:34 +0000 (13:25 +0000)
Mark all files used in a standard build of bin-x86_64-efi/snponly.efi
as permitted for UEFI Secure Boot.  These files represent the core
functionality of iPXE that is guaranteed to have been included in
every binary that was previously subject to a security review and
signed by Microsoft.  It is therefore legitimate to assume that at
least these files have already been reviewed to the required standard
multiple times.

Signed-off-by: Michael Brown <mcb30@ipxe.org>
497 files changed:
src/arch/x86/core/cpuid.c
src/arch/x86/core/x86_string.c
src/arch/x86/core/x86_tcpip.c
src/arch/x86/hci/commands/cpuid_cmd.c
src/arch/x86/include/bits/acpi.h
src/arch/x86/include/bits/endian.h
src/arch/x86/include/bits/errfile.h
src/arch/x86/include/bits/io.h
src/arch/x86/include/bits/iomap.h
src/arch/x86/include/bits/memmap.h
src/arch/x86/include/bits/nap.h
src/arch/x86/include/bits/pci_io.h
src/arch/x86/include/bits/reboot.h
src/arch/x86/include/bits/sanboot.h
src/arch/x86/include/bits/smbios.h
src/arch/x86/include/bits/string.h
src/arch/x86/include/bits/tcpip.h
src/arch/x86/include/bits/time.h
src/arch/x86/include/ipxe/bios_nap.h
src/arch/x86/include/ipxe/bios_reboot.h
src/arch/x86/include/ipxe/bios_sanboot.h
src/arch/x86/include/ipxe/bios_smbios.h
src/arch/x86/include/ipxe/cpuid.h
src/arch/x86/include/ipxe/int15.h
src/arch/x86/include/ipxe/iomap_pages.h
src/arch/x86/include/ipxe/pcibios.h
src/arch/x86/include/ipxe/pcidirect.h
src/arch/x86/include/ipxe/rsdp.h
src/arch/x86/include/ipxe/rtc_time.h
src/arch/x86/include/ipxe/x86_io.h
src/arch/x86_64/include/bits/byteswap.h
src/arch/x86_64/include/bits/compiler.h
src/arch/x86_64/include/bits/profile.h
src/arch/x86_64/include/bits/stdint.h
src/arch/x86_64/include/bits/strings.h
src/arch/x86_64/include/ipxe/efi/dhcparch.h
src/arch/x86_64/include/limits.h
src/config/branding.h
src/config/colour.h
src/config/config.c
src/config/config_eap.c
src/config/config_efi.c
src/config/config_ethernet.c
src/config/config_http.c
src/config/config_pci.c
src/config/config_route.c
src/config/config_timer.c
src/config/console.h
src/config/defaults.h
src/config/defaults/efi.h
src/config/dhcp.h
src/config/fault.h
src/config/general.h
src/config/ioapi.h
src/config/named.h
src/config/nap.h
src/config/reboot.h
src/config/sanboot.h
src/config/settings.h
src/config/sideband.h
src/config/time.h
src/config/timer.h
src/config/umalloc.h
src/core/acpi.c
src/core/ansicol.c
src/core/ansiesc.c
src/core/asprintf.c
src/core/base16.c
src/core/base64.c
src/core/basename.c
src/core/bitmap.c
src/core/blockdev.c
src/core/blocktrans.c
src/core/cachedhcp.c
src/core/console.c
src/core/cpio.c
src/core/ctype.c
src/core/cwuri.c
src/core/debug.c
src/core/device.c
src/core/dma.c
src/core/downloader.c
src/core/dynui.c
src/core/edd.c
src/core/errno.c
src/core/exec.c
src/core/getkey.c
src/core/getopt.c
src/core/image.c
src/core/init.c
src/core/interface.c
src/core/iobuf.c
src/core/job.c
src/core/keymap.c
src/core/linebuf.c
src/core/list.c
src/core/main.c
src/core/malloc.c
src/core/monojob.c
src/core/nvo.c
src/core/open.c
src/core/params.c
src/core/parseopt.c
src/core/pending.c
src/core/pool.c
src/core/process.c
src/core/quiesce.c
src/core/random.c
src/core/refcnt.c
src/core/resolv.c
src/core/sanboot.c
src/core/settings.c
src/core/string.c
src/core/time.c
src/core/timer.c
src/core/uri.c
src/core/utf8.c
src/core/uuid.c
src/core/version.c
src/core/vsprintf.c
src/core/wchar.c
src/core/xfer.c
src/core/xferbuf.c
src/crypto/chap.c
src/crypto/crc32.c
src/crypto/md5.c
src/drivers/block/ata.c
src/drivers/block/ibft.c
src/drivers/block/scsi.c
src/drivers/bus/pci.c
src/drivers/bus/pci_settings.c
src/drivers/net/efi/mnpnet.c
src/drivers/net/efi/nii.c
src/drivers/net/efi/nii.h
src/drivers/net/efi/snpnet.c
src/drivers/net/efi/snpnet.h
src/drivers/net/efi/snponly.c
src/drivers/nvs/nvs.c
src/hci/commands/autoboot_cmd.c
src/hci/commands/config_cmd.c
src/hci/commands/dhcp_cmd.c
src/hci/commands/dynui_cmd.c
src/hci/commands/ifmgmt_cmd.c
src/hci/commands/image_cmd.c
src/hci/commands/login_cmd.c
src/hci/commands/nvo_cmd.c
src/hci/commands/reboot_cmd.c
src/hci/commands/route_cmd.c
src/hci/commands/sanboot_cmd.c
src/hci/commands/shim_cmd.c
src/hci/commands/sync_cmd.c
src/hci/editstring.c
src/hci/jumpscroll.c
src/hci/mucurses/ansi_screen.c
src/hci/mucurses/clear.c
src/hci/mucurses/cursor.h
src/hci/mucurses/mucurses.c
src/hci/mucurses/mucurses.h
src/hci/mucurses/print.c
src/hci/mucurses/widgets/editbox.c
src/hci/mucurses/winattrs.c
src/hci/mucurses/wininit.c
src/hci/readline.c
src/hci/shell.c
src/hci/strerror.c
src/hci/tui/form_ui.c
src/hci/tui/login_ui.c
src/hci/tui/menu_ui.c
src/hci/tui/message.c
src/hci/tui/settings_ui.c
src/image/efi_image.c
src/image/embedded.c
src/image/script.c
src/include/assert.h
src/include/bits/dma.h
src/include/bits/uaccess.h
src/include/bits/umalloc.h
src/include/bits/virt_offset.h
src/include/byteswap.h
src/include/ctype.h
src/include/curses.h
src/include/endian.h
src/include/errno.h
src/include/getopt.h
src/include/hci/ifmgmt_cmd.h
src/include/ipxe/acpi.h
src/include/ipxe/ansicol.h
src/include/ipxe/ansiesc.h
src/include/ipxe/aoe.h
src/include/ipxe/api.h
src/include/ipxe/arp.h
src/include/ipxe/asn1.h
src/include/ipxe/ata.h
src/include/ipxe/base16.h
src/include/ipxe/base64.h
src/include/ipxe/bitmap.h
src/include/ipxe/blockdev.h
src/include/ipxe/blocktrans.h
src/include/ipxe/cachedhcp.h
src/include/ipxe/chap.h
src/include/ipxe/command.h
src/include/ipxe/console.h
src/include/ipxe/cpio.h
src/include/ipxe/crc32.h
src/include/ipxe/crypto.h
src/include/ipxe/device.h
src/include/ipxe/dhcp.h
src/include/ipxe/dhcparch.h
src/include/ipxe/dhcpopts.h
src/include/ipxe/dhcppkt.h
src/include/ipxe/dhcpv6.h
src/include/ipxe/dma.h
src/include/ipxe/dns.h
src/include/ipxe/downloader.h
src/include/ipxe/dummy_sanboot.h
src/include/ipxe/dynui.h
src/include/ipxe/eap.h
src/include/ipxe/eapol.h
src/include/ipxe/ecam_io.h
src/include/ipxe/edd.h
src/include/ipxe/editbox.h
src/include/ipxe/editstring.h
src/include/ipxe/efi/ProcessorBind.h
src/include/ipxe/efi/Protocol/AppleNetBoot.h
src/include/ipxe/efi/Protocol/ShimLock.h
src/include/ipxe/efi/efi.h
src/include/ipxe/efi/efi_acpi.h
src/include/ipxe/efi/efi_autoboot.h
src/include/ipxe/efi/efi_autoexec.h
src/include/ipxe/efi/efi_block.h
src/include/ipxe/efi/efi_cachedhcp.h
src/include/ipxe/efi/efi_cmdline.h
src/include/ipxe/efi/efi_download.h
src/include/ipxe/efi/efi_driver.h
src/include/ipxe/efi/efi_fdt.h
src/include/ipxe/efi/efi_file.h
src/include/ipxe/efi/efi_hii.h
src/include/ipxe/efi/efi_image.h
src/include/ipxe/efi/efi_nap.h
src/include/ipxe/efi/efi_null.h
src/include/ipxe/efi/efi_path.h
src/include/ipxe/efi/efi_pci.h
src/include/ipxe/efi/efi_pci_api.h
src/include/ipxe/efi/efi_pxe.h
src/include/ipxe/efi/efi_reboot.h
src/include/ipxe/efi/efi_service.h
src/include/ipxe/efi/efi_shim.h
src/include/ipxe/efi/efi_smbios.h
src/include/ipxe/efi/efi_snp.h
src/include/ipxe/efi/efi_strings.h
src/include/ipxe/efi/efi_table.h
src/include/ipxe/efi/efi_time.h
src/include/ipxe/efi/efi_umalloc.h
src/include/ipxe/efi/efi_utils.h
src/include/ipxe/efi/efi_veto.h
src/include/ipxe/efi/efi_watchdog.h
src/include/ipxe/efi/efi_wrap.h
src/include/ipxe/efi/mnpnet.h
src/include/ipxe/errfile.h
src/include/ipxe/errno/efi.h
src/include/ipxe/errortab.h
src/include/ipxe/eth_slow.h
src/include/ipxe/ethernet.h
src/include/ipxe/fakedhcp.h
src/include/ipxe/fault.h
src/include/ipxe/fc.h
src/include/ipxe/fcels.h
src/include/ipxe/fcp.h
src/include/ipxe/fdtmem.h
src/include/ipxe/features.h
src/include/ipxe/fragment.h
src/include/ipxe/http.h
src/include/ipxe/ib_mad.h
src/include/ipxe/ib_packet.h
src/include/ipxe/ib_srp.h
src/include/ipxe/ibft.h
src/include/ipxe/icmp.h
src/include/ipxe/icmpv6.h
src/include/ipxe/if_arp.h
src/include/ipxe/if_ether.h
src/include/ipxe/image.h
src/include/ipxe/in.h
src/include/ipxe/infiniband.h
src/include/ipxe/init.h
src/include/ipxe/initrd.h
src/include/ipxe/interface.h
src/include/ipxe/io.h
src/include/ipxe/iobuf.h
src/include/ipxe/iomap.h
src/include/ipxe/iomap_virt.h
src/include/ipxe/ip.h
src/include/ipxe/ipstat.h
src/include/ipxe/ipv6.h
src/include/ipxe/iscsi.h
src/include/ipxe/iso9660.h
src/include/ipxe/job.h
src/include/ipxe/jumpscroll.h
src/include/ipxe/keymap.h
src/include/ipxe/keys.h
src/include/ipxe/linebuf.h
src/include/ipxe/linux/linux_acpi.h
src/include/ipxe/linux/linux_nap.h
src/include/ipxe/linux/linux_pci.h
src/include/ipxe/linux/linux_smbios.h
src/include/ipxe/linux/linux_time.h
src/include/ipxe/linux/linux_uaccess.h
src/include/ipxe/linux/linux_umalloc.h
src/include/ipxe/list.h
src/include/ipxe/lldp.h
src/include/ipxe/login_ui.h
src/include/ipxe/malloc.h
src/include/ipxe/md5.h
src/include/ipxe/memmap.h
src/include/ipxe/message.h
src/include/ipxe/monojob.h
src/include/ipxe/nap.h
src/include/ipxe/ndp.h
src/include/ipxe/neighbour.h
src/include/ipxe/netdevice.h
src/include/ipxe/ntlm.h
src/include/ipxe/null_acpi.h
src/include/ipxe/null_memmap.h
src/include/ipxe/null_nap.h
src/include/ipxe/null_pci.h
src/include/ipxe/null_reboot.h
src/include/ipxe/null_sanboot.h
src/include/ipxe/null_smbios.h
src/include/ipxe/null_time.h
src/include/ipxe/nvo.h
src/include/ipxe/nvs.h
src/include/ipxe/open.h
src/include/ipxe/params.h
src/include/ipxe/parseopt.h
src/include/ipxe/pci.h
src/include/ipxe/pci_io.h
src/include/ipxe/pcicloud.h
src/include/ipxe/pending.h
src/include/ipxe/ping.h
src/include/ipxe/pool.h
src/include/ipxe/process.h
src/include/ipxe/profile.h
src/include/ipxe/quiesce.h
src/include/ipxe/reboot.h
src/include/ipxe/refcnt.h
src/include/ipxe/resolv.h
src/include/ipxe/retry.h
src/include/ipxe/rotate.h
src/include/ipxe/sanboot.h
src/include/ipxe/sbat.h
src/include/ipxe/script.h
src/include/ipxe/scsi.h
src/include/ipxe/settings.h
src/include/ipxe/settings_ui.h
src/include/ipxe/shell.h
src/include/ipxe/smbios.h
src/include/ipxe/socket.h
src/include/ipxe/srp.h
src/include/ipxe/stp.h
src/include/ipxe/string.h
src/include/ipxe/tables.h
src/include/ipxe/tcp.h
src/include/ipxe/tcpip.h
src/include/ipxe/tftp.h
src/include/ipxe/time.h
src/include/ipxe/timer.h
src/include/ipxe/uaccess.h
src/include/ipxe/udp.h
src/include/ipxe/uheap.h
src/include/ipxe/umalloc.h
src/include/ipxe/uri.h
src/include/ipxe/usb.h
src/include/ipxe/utf8.h
src/include/ipxe/uuid.h
src/include/ipxe/version.h
src/include/ipxe/virt_offset.h
src/include/ipxe/vlan.h
src/include/ipxe/vsprintf.h
src/include/ipxe/widget.h
src/include/ipxe/xfer.h
src/include/ipxe/xferbuf.h
src/include/libgen.h
src/include/readline/readline.h
src/include/stdarg.h
src/include/stdbool.h
src/include/stddef.h
src/include/stdint.h
src/include/stdio.h
src/include/stdlib.h
src/include/string.h
src/include/strings.h
src/include/sys/time.h
src/include/syslog.h
src/include/time.h
src/include/unistd.h
src/include/usr/autoboot.h
src/include/usr/dhcpmgmt.h
src/include/usr/ifmgmt.h
src/include/usr/imgmgmt.h
src/include/usr/prompt.h
src/include/usr/route.h
src/include/usr/shimmgmt.h
src/include/usr/sync.h
src/include/valgrind/memcheck.h
src/include/valgrind/valgrind.h
src/include/wchar.h
src/interface/efi/efi_acpi.c
src/interface/efi/efi_autoboot.c
src/interface/efi/efi_autoexec.c
src/interface/efi/efi_block.c
src/interface/efi/efi_cachedhcp.c
src/interface/efi/efi_cmdline.c
src/interface/efi/efi_connect.c
src/interface/efi/efi_console.c
src/interface/efi/efi_download.c
src/interface/efi/efi_driver.c
src/interface/efi/efi_file.c
src/interface/efi/efi_guid.c
src/interface/efi/efi_hii.c
src/interface/efi/efi_init.c
src/interface/efi/efi_local.c
src/interface/efi/efi_nap.c
src/interface/efi/efi_null.c
src/interface/efi/efi_open.c
src/interface/efi/efi_path.c
src/interface/efi/efi_pci.c
src/interface/efi/efi_pxe.c
src/interface/efi/efi_reboot.c
src/interface/efi/efi_service.c
src/interface/efi/efi_settings.c
src/interface/efi/efi_shim.c
src/interface/efi/efi_smbios.c
src/interface/efi/efi_snp.c
src/interface/efi/efi_snp_hii.c
src/interface/efi/efi_strings.c
src/interface/efi/efi_table.c
src/interface/efi/efi_time.c
src/interface/efi/efi_timer.c
src/interface/efi/efi_umalloc.c
src/interface/efi/efi_utils.c
src/interface/efi/efi_veto.c
src/interface/efi/efi_watchdog.c
src/interface/efi/efi_wrap.c
src/interface/efi/efiprefix.c
src/interface/smbios/smbios.c
src/interface/smbios/smbios_settings.c
src/net/aoe.c
src/net/arp.c
src/net/dhcpopts.c
src/net/dhcppkt.c
src/net/eap.c
src/net/eap_md5.c
src/net/eapol.c
src/net/eth_slow.c
src/net/ethernet.c
src/net/fakedhcp.c
src/net/fragment.c
src/net/icmp.c
src/net/icmpv4.c
src/net/icmpv6.c
src/net/iobpad.c
src/net/ipv4.c
src/net/ipv6.c
src/net/lldp.c
src/net/ndp.c
src/net/neighbour.c
src/net/netdev_settings.c
src/net/netdevice.c
src/net/nullnet.c
src/net/retry.c
src/net/socket.c
src/net/stp.c
src/net/tcp.c
src/net/tcp/http.c
src/net/tcp/httpauth.c
src/net/tcp/httpbasic.c
src/net/tcp/httpblock.c
src/net/tcp/httpconn.c
src/net/tcp/httpcore.c
src/net/tcp/httpdigest.c
src/net/tcp/iscsi.c
src/net/tcpip.c
src/net/udp.c
src/net/udp/dhcp.c
src/net/udp/dhcpv6.c
src/net/udp/dns.c
src/net/udp/tftp.c
src/net/vlan.c
src/usr/autoboot.c
src/usr/dhcpmgmt.c
src/usr/ifmgmt.c
src/usr/imgmgmt.c
src/usr/prompt.c
src/usr/route.c
src/usr/route_ipv4.c
src/usr/route_ipv6.c
src/usr/shimmgmt.c
src/usr/sync.c

index b7d9fb6c66c1ad218b2f9715b490fb11308bc694..0461b846e781f8bd3e8be1077c6f3d23b184d0d5 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 1a1e79dacc10a743da1505b2b7826282e489bdc4..923552f668303fc3b0ceae27ab45a88f01bd0532 100644 (file)
@@ -28,6 +28,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <config/defaults.h>
index ed323d5d0ad853852af65c327b91d78513fe5a70..b3bfe25467c32e249f197596dc8044dccc35f81b 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index b1978d5f2da36019e6e7e8447b755c0d3fc4333f..f4d7305e8e32ffda135d284b26844046eb310b1a 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdio.h>
index a6ff90804e45a90fc1f22db87066c7a87f54de97..287bdafeb582865d37306134b06eff4e797e5a60 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/rsdp.h>
 
index 85718cfdd33b82d1cc2526438ffbb747ff6d555f..72279117dfa919c4e476d0102a1f667e81f196c9 100644 (file)
@@ -2,6 +2,7 @@
 #define _BITS_ENDIAN_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #define __BYTE_ORDER __LITTLE_ENDIAN
 
index 4fa9acef6a4620c29254bf37b23529bcde32c704..e7aec6f39a20aae7f9b694758574f6a8d858ce3e 100644 (file)
@@ -2,6 +2,7 @@
 #define _BITS_ERRFILE_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @addtogroup errfile Error file identifiers
index 95673ad8d2c974c539652d754d46934efd3f5641..cde0b68292d2a54c3aeafc85d542392bba5640f5 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Page shift */
 #define PAGE_SHIFT 12
index d6fff257e4cdb580f140d1cdbe2120f84c07613a..d524bd805a32a3d8df8eb451a3d6104608923b38 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/iomap_pages.h>
 
index 8f821563cdecac2a8ce6d2bed41f502fe9d09583..e68550fb8175364d1759b244a0b6459ede354eb1 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/int15.h>
 
index b7dea736d97cdbf2b6c347e33983648565d38b2e..52c8d81ba03d231c3126c326b442ad92137079ce 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/bios_nap.h>
 
index b41e562ee34bc96a70c670b05223ca2434aa2936..b6c01e5c40a3b49612182439e30b8b1534a161f8 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/pcibios.h>
 #include <ipxe/pcidirect.h>
index e702dd3d05dd76bbccd4fb9b5fd4feca32a8de91..8d8d0b40eb9b472bc958e633b766c0f24aefc143 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/bios_reboot.h>
 
index 1b9924e6435f27519d7dcc7d954609db5d44425b..ff7b88d149c00f813b1861881c480a7ad7f45d04 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/bios_sanboot.h>
 
index 9977c87ace94a49813eee1edcba46f9821b57fe4..2be98d88717241c5df4175c86de724fb140c736d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/bios_smbios.h>
 
index c26fe30d502347e95ce8ea8536819f7b08ce67c9..8b2b3070b4206dbd29eaaa693ee95d180cf30620 100644 (file)
@@ -25,6 +25,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 0ac55b1a015e87c4ee1019ac9c4eedcbf22cb7c7..52d03242744108ea17bb833de4831c0321b89d2c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern uint16_t tcpip_continue_chksum ( uint16_t partial, const void *data,
                                        size_t len );
index 556d96f64d44ebfe82cae0c9502de10f1285b9b2..a4aa8cc6ef80903f5395bec5fe8eb65f1bad0cce 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/rtc_time.h>
 
index c9b82c1e53c9605e23ef1f14e3945728b5304b18..7d94b3c4a20805df8e16b8c91e4f2c7970a6d1f2 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef NAP_PCBIOS
 #define NAP_PREFIX_pcbios
index 3f6df9073bc14dafb8adac7b736db6aaa91d40e7..bd1bb42cc30feb809c0235002cda23c41d3853db 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef REBOOT_PCBIOS
 #define REBOOT_PREFIX_pcbios
index 85d698039f752b56ab4d3c6a77107a64079fe6b7..d28339e4e1cb5985d6d3cd7cedfa6764b10e3d4b 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SANBOOT_PCBIOS
 #define SANBOOT_PREFIX_pcbios
index 9f7f9c8ff5abecd144f0cbf10cdac0b485b26da4..1815e36178c35c52998af6e807ca29c49fb9a1e8 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SMBIOS_PCBIOS
 #define SMBIOS_PREFIX_pcbios
index 99b91c5c8e8bde49d0ec6dfde96fba6a874954da..1851a859bfc929d8fe027cb1977d329969459cab 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index e8aa9e2f58cc0965ce390c182c6b248bb6579af6..590c0e9a720610e550a6992fd9f7b71baa37c05c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef MEMMAP_INT15
 #define MEMMAP_PREFIX_int15
index 18e0a3002aef4f8f55eb6c00e0fd54c0df514a74..e74dabd901671c94d24cfc42c2b4bd1b4c895184 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef IOMAP_PAGES
 #define IOMAP_PREFIX_pages
index b62b470f0c93b6172e97c16468128bbf2f98afb8..2fd03198e97503f7ffeedbe7aed438462fcdd271 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef PCIAPI_PCBIOS
 #define PCIAPI_PREFIX_pcbios
index 1515b20d401e14c010e8bea2b7c41b444d43baf6..5863b4d164e341b2fa48f0309b7fb0c39060532b 100644 (file)
@@ -2,6 +2,7 @@
 #define _PCIDIRECT_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/io.h>
index daaa43077706b2b027169ff53d10165d7e71c17f..f371d9a20317c1ccd7f60d64443e491722a9ccd9 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef ACPI_RSDP
 #define ACPI_PREFIX_rsdp
index cb8c7f49e0c050f7cc02266b5bccc404e564d178..49c6313ed38e0705cd90ec8a6cb0b8aac4560465 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef TIME_RTC
 #define TIME_PREFIX_rtc
index eeb3f8454620cb5b2902e423e9f6f34c59f9aae9..164b57e925f089f2dd9a4fa645ce786b9ec5ce8a 100644 (file)
@@ -16,6 +16,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef IOAPI_X86
 #define IOAPI_PREFIX_x86
index d8c5098ef911e82171f78c3c66f2987b82415eac..7c48a27ca345db60d43d00a8c309680b7ad9d020 100644 (file)
@@ -10,6 +10,7 @@
 #include <stdint.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 static inline __attribute__ (( always_inline, const )) uint16_t
 __bswap_variable_16 ( uint16_t x ) {
index 1c04a7b30829399e89b93365f9184dc0d000e28e..99185b05863b8cacb68af3bb5eddf99ee04e24ce 100644 (file)
@@ -2,6 +2,7 @@
 #define _BITS_COMPILER_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Dummy relocation type */
 #define RELOC_TYPE_NONE R_X86_64_NONE
index c85b6fe5c29a1500d5d63e3a98bedda75b5fef69..c8e0a21f15d67050d3a540d17cf501d912cdd992 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index fe1f9946a54afb53ba728c1c2ffbab0a93650fd1..e75bed50230f6251dcf50b9ddaa09466a51fd0db 100644 (file)
@@ -2,6 +2,7 @@
 #define _BITS_STDINT_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 typedef __SIZE_TYPE__          size_t;
 typedef signed long            ssize_t;
index 3b7911f3b18e31b5f9113d6844dd30483123a72e..6da8f1350ccfbd5e9d7e7d376a1d2db5ba495010 100644 (file)
@@ -2,6 +2,7 @@
 #define _BITS_STRINGS_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Find first (i.e. least significant) set bit
index ccf0f46a014f7a350eaeb34a07761385e5010ec7..f75bf9145b101a859353887d82e4a6aef1590bf1 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/dhcp.h>
 
index a1374a17ffbd376ebb17a7ca82ed17298bfa3111..e75461acb358738d4202a8d1f8bb3d4b0fbdc53b 100644 (file)
@@ -2,6 +2,7 @@
 #define LIMITS_H       1
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /* Number of bits in a `char' */
 #define CHAR_BIT       8
index 454bf0c03aca2bf20a06da2a41efc25cbd1414fe..f28e1b5d24c81020d5c52f64c80c15c28d94f3fc 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 98198f12f198f7f175e0626c5e54ff5eb75f44c8..bde6f971990524cc2b50c263066ca28ee0986201 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #define COLOR_NORMAL_FG                COLOR_WHITE
 #define COLOR_NORMAL_BG                COLOR_BLUE
index e49f236a399bf9ef903058a6faf90044ff980614..c32bcee88b90e391dcf633d33e6a181859f5ca13 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/general.h>
 #include <config/console.h>
index e18c48caee5168075b70d141d2f6fba291d979d9..0c9b7b6873e07df96501524891369643df1843e1 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/general.h>
 
index 92678d12d69a1d1159ad319cb24edbaaec924a99..8daaa43299be2f74207e9e3b9838e70bbbdb8d29 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/general.h>
 #include <config/console.h>
index c1b35bfe6438c43ac0d792714d11d28aea93bc10..03ed371a775174efb05de60e5deeec0ef2b405ef 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/general.h>
 
index 4373ea2c0b832fb02cd61d3b1e429e8cee7f751d..ee0643c91aeab9d041772216aba628b4cf48f5b0 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/general.h>
 
index b2adae995e7ca9b6e3777c7e4564bf47a9c9b2d0..c6c9b92a5fc34036f015bb2c55db9bc65ecbfccc 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/settings.h>
 #include <config/ioapi.h>
index c0b4ee91ddde3660e7a2ca11b6642354444b261f..59d8f35504897fea6e83b32be302c537ce4bf9c0 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/general.h>
 
index a4fe69b00a03baeb1bbbd22f1ed34dfbb8f9483b..12b806129425a41e15010b7101b949528ce1b7d3 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/timer.h>
 
index 0ff328b7c34fcadcda447c550810679e14639be6..028021fa290227f7e5f61e6823af643a97bd039f 100644 (file)
@@ -11,6 +11,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 32d6dbcce846b83418155ddcd4cd8303c39574c6..767b67fdf66ba251ff33a50d0f24e3bb8a762df1 100644 (file)
@@ -2,6 +2,7 @@
 #define CONFIG_DEFAULTS_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #define CONFIG_DEFAULTS(_platform) <config/defaults/_platform.h>
 
index 4c9ba9d2a597d3da253399b6e0e0a1b1c90a07d1..524b2b0ea069d31d7d4fcf5de93f95a8a1e65b4d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #define UACCESS_FLAT
 #define IOMAP_VIRT
index adfa74a153f5183a4d05b3c2731e7cbce5463bf0..65180c38cca9f42c951cd57999b67c50282764a9 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 5912ae1a6184c0660c807340b6cb814e6c70ba1c..ab5503fa2128c1b47c5f75553e2fb9f6055f76a1 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 683c02ffbe44746fc9d27260998dd54a348e25f1..f7724883665ee454b95d2483d8b3354a6ffa0df5 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index a1498482d9a30a15461dd329c6e3974568c63157..d4ef91f7668ad5d55d642348ba9b495f9942aa2b 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index ddde6f0a6dfc4048506895a4b66ea85d8606d532..f46524f8130c6fbb5d3161e2484c489294327999 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /* config/<name>/<header>.h */
 #ifdef CONFIG
index e4fe97964657b65913859161aefd422e4762b803..55ff64116b3e762a1523d4dd6920ec6f3015b3ff 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 2d1648e7b5741b34a888056259f0da7003b187b3..a7f90ead130c24c0cbcccc418f7e0a815e988630 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index ccc4bda1f08ecb557894d29e03014c9312e33587..962caec40b8629baf43d8c31ef134588e8eb9616 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 7b4af4fdf7206518b00e2b338fd349e0dc1fc59d..bba8c631af67d899ab741577c5baa19d64e54338 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index dd704f9bb8cff3f1ba9ae0ed702f4a2638bab5a1..039d28df04f8e66c3bf6c5a5ac4ec533261d1f25 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 //#define      CONFIG_BOFM     /* IBM's BladeCenter Open Fabric Manager */
 
index 678f6f86454ec543a716e8aa3e6dad6571df8875..f938f3aa77273d2bcea7ff5acc98b12762bf90fd 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 5a54d398c52d3a10e8c6a3555b8b86c935939ec5..d2368a13a7a0668714f0b256ad8611e900d0906e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 832dd21d18282a3ba45251409aeef2d0926c168a..87fb3452754d579af71816463b9ae4134caad154 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <config/defaults.h>
 
index 3fbf25bd13d0c8495b891355355012bdf581402a..d8c1903f332c7bd236580c5faacff8d61b2b9ebd 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index ddf9ba77c21447791b2f1bd37eeb4a465d417652..d53ebeeb64b0127cea0d4204f4cddbe259222a2e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <errno.h>
index 7f545db0e9fe31dcbdd5ca2446b9e45623e93d3c..57a2345d789fddfe4bc1452c1b545c98e4a00e76 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <assert.h>
index 00edf8e11348060d7c3b616e01f53f232ab93f1a..17a65c7158d688003b14493803589c9c6c8fb406 100644 (file)
@@ -5,6 +5,7 @@
 #include <errno.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Write a formatted string to newly allocated memory.
index 47e35f41480aff6f3ca3bc84f792114321225e7f..0c597480ffa3bc3f3e6e7707b6ed621c2a8ce2ac 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdio.h>
index ec11be261b7e1b31b8032436e61ebd6b3a9fe552..fe7198c42765c4f9c4c26323a6b04581626e27cb 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index f4f929517bbe63573aa2fd5678a34fb3d122816e..7a903c25fee68f249bcb4fcce4b0370a9ca58033 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 2aac3387083cea2541356a72d2e1c83277e951ec..e3570c629cdf227c2bbd6621b6f1431b63f300f0 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <errno.h>
 #include <ipxe/bitmap.h>
index 3513caafaa8ebf76d25fb3528cdb5e0513b0b73a..ff0f3b68b145d86ec190837f0d8da78394c9b2b7 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <errno.h>
 #include <ipxe/interface.h>
index b793185fe4bc0eaf0302fd671d57ff1fcdbeeebd..d9c24582caaed40630a772fe5653ed33bd52e2fa 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index eeb2fca5866b72f35388b6a3aea338d2c5e24578..3f6564efd3d6580cc79b297cdfdb687afdc95215 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 2b90809bf8ea84aad560cd60ef1e42d7abe5b1c2..240dde3d6534f582c9fa849207d1e551e5d79f2a 100644 (file)
@@ -6,6 +6,7 @@
 /** @file */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Current console usage */
 int console_usage = CONSOLE_USAGE_STDOUT;
index 15e33d206d5e936b552be406569ff77e1114feed..d2f9d0c2d68b885dcda5a6620cc9e078f480ce9f 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 891af71eac0267be481312c1887f5f3b524e68b0..d7de060e38449c727ff24f8bfb4150f3037d0d2b 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 612f0b1797625956b7da1f770d69b7cfe94fadf1..36475b15991149abb579e4e0a83e46b4d5217949 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <ipxe/uri.h>
index 9b2a823f5677acaebb102c2dce7b6c35cb15dee5..3f7661dda1ec89663e6b151214897187e96c1c07 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <stdint.h>
index efe4eb6877516807b8fba1c900d250bcb18c52d6..2ab5fa1173a768fb0e302165fcb6f1a952945252 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ipxe/list.h>
index 3f3023c4d7162b6c46e93e475adb5d10092c1f67..dc266545b759259806f1d30f4d93f627cfa81e65 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <assert.h>
 #include <errno.h>
index 1c638f5027819577d80d5b9f9b96eaf8b0c06fd3..aa81e7365027100ae496428b7b321e3e38f7fc15 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <string.h>
index 3d139c02af48726f2c65a470ffae1d9b8280553d..c2af95f86b76720d2629e6efe94f6ea49759086a 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index a50b74ab165ae7dc0c1e50a2e96e5c3b5aaecad8..4fcccf1174331821ef5f4ba55ec031aa4348d51c 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <errno.h>
 #include <ipxe/interface.h>
index 5de15bb9276b284b7b00194775d383911d578f33..7afa40859913271539938a4571f819e4782c2d44 100644 (file)
@@ -1,6 +1,7 @@
 #include <errno.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 534fb9993c34acb76bef1f913ed7877b208caab2..4db1248b02fb16609895f06ff8f7dfe84df595c9 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index 0c280d23b77c1560832a0794767ef00d39bc65ce..c952e0aea25c04813d48f9064266dbc1458170c2 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ctype.h>
 #include <ipxe/console.h>
index e6c3948d12f7016d0861e2f347c856bb3865f9bf..cb4cbf1181044501294d203122791d12f460fb08 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index b2bd0956b6faac4bd74400c1550fe13638a41d8e..7df1259713f3e19a8cd4b20673f63963f0f6b22e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <string.h>
index 406d22d7b96e9f95e673645938406da624f75dd3..2a32f579549e9fb12b09e72236e5da8633e4abc0 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/device.h>
 #include <ipxe/console.h>
index ea060689393f9f049de70b3ebb2d18f3de4bdf4e..0ebcc8e51792b6645dd44f62a39eb13786b0a502 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ipxe/interface.h>
index 78fa239249760cfa46eb032d1ca05bd1cf11ca00..7e9a4156da9a445927fb8d06913296ee5be6d9f6 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <strings.h>
index 65df80056f089b31125de79311425656a45cf1df..f83ce055239a44baa114c2ea998a5eac36f70d79 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 36db7bd4c45444fcc1da149114e7252e9299c54e..e2244fdcbe1114136007aad67fbc323e68e276da 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ctype.h>
index c197e383c37c28d8a5ebf40d46ec2a89c9a33597..8995dca6646da21c8f8ff92465d3d7e79ee78f42 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 5175c84ec75c04bb18ea331c710adbda32a1f4db..8d38d690a038ebe748756368f3c59b5b394883fc 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 3db83649193e6d2a7ee65092371be652615ffdd6..95e16132f4609c5d7527349784d221216986516f 100644 (file)
@@ -13,6 +13,7 @@ Literature dealing with the network protocols:
 **************************************************************************/
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdio.h>
index 877687d8138d68454f77ae74d70126481f4bf34e..3a9f23ee4c33ab0fba546292de026cffe83f2ae4 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdint.h>
index 2f066331c2160657eb641c7ccf3a773dd354b9a2..ff22b4ac8266479f4f1c6701a0e03773fd0a5efe 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdio.h>
index d2c9b5e73c273f50599a209b6ff1a76f19d5bfe4..8e500f816be39876b53e411b1750985e31f5595e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index f9198c9d90898914e04ec18bbcbf1fb69ddb8568..8daa90f55b0aba088604bde9791ddc8a7661793e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdarg.h>
 #include <string.h>
index 58c829f622b49ffb274d003822f982e71e29b099..d3fffc3125fc2762257575b589662498f9818e4d 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index b657c3fce12118a73b68ae0b6f6013a6a6cea243..b920a7d849240bc4be4d56f20ed41cd857ecd704 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdint.h>
index 96d0cf19700fe1a5235420b4d0c9e38de3b73130..4a1dd6a349c516a3bd0398a25bb0b804ded7fba8 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <errno.h>
 #include <ipxe/process.h>
index 0163405f7ed3c652677475d035fbc4adb263290d..daf761aa3ea2ea4733df00b702e2728e52894e83 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index c944b6f5057954d1d80c269cf0dbfa63f94847bd..883469dc5556a1bfe7c06de652eddf752d678fe5 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/list.h>
 #include <ipxe/init.h>
index 5d2a919d0828d1ed040d6a55154437c02f6a12ed..9c4e37849bbc20265278cbeed6eac73da9224bd3 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index e3251964befec3e6e3055c4b0947b93458d7de2f..e8fbe69662a1568ffcb0df70bd6ecb5d12e3e0f8 100644 (file)
@@ -5,6 +5,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdlib.h>
index 47c975a0b82b6ad0cee160f4ff91a96f40ae2b21..a66511291cc56829b7fe7b951ee31832367d3756 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <ipxe/refcnt.h>
index fab8def4b300d43d42d8aebae58e13a6f16fcfc6..0fc02ccf40026b139bed1be1248f241aac67c239 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index e90c5ef1d6419d704f198f4f25e12920f073844d..45cd5eff302714e48854cc686fcd33ef4938c5b4 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 05e495dcf00bb9fee791f11097f65779760c73d3..129620e0070908fcfdec8b6e797f3e3a88a7c814 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 364c4cf0edf3e592c50f2f210d9d381cbe0a6dbe..2af19b7fe7d5f743c979471bb9cb2912bac71275 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdint.h>
index c353ac5bd618db8593c350b98435afff8968da35..6d33f6caf036bc2362e1b798a506f692a6f331ca 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <time.h>
 
index d45797adb1a68570ac5f0f52dd412c789f7ba37e..db0f32cf14197eda974e0748efda27950ec2fcea 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ipxe/process.h>
index b82472ef03b3fb359d121ef45e9a6e920505f5b8..9da5e298b55c2d24661118aabbfb9325bcb5f504 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 4ee01baf9d94c8e86176b1b217b31ad9400845b5..871044fecf3a97565f9f55c26bea70a15f74a868 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <assert.h>
index b6600af71b2cf3258cf08fed6d04a666a14fb6b5..0f93e9f8ff2749d01fd32fc577e2557d18c0a75e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdio.h>
index cd69a8762fbe6fdcdff8887be132d55d36687bfb..75f3160db565ee342e306592f6e3ca9bf81b1651 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 9d3a97c2df33e2ca1bf116822767aa7c06daed6e..f6032014a17631b081f01355776b835b53b2c1a0 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdarg.h>
index b06cf452a0cdda0d849945e8f15e1047bc0650e9..27a608bf460984935412672c4b1fc1a8aa1f8a91 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 269359e1538f1086a35103aa729e764ca815304e..5ab303bc70b7ae457c52d954c81541241a587b7f 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdlib.h>
index d935265772a909ce48297afa77c6603f6aa3f587..ca3baaab53cd158150d12509eeb9dffc3d4bf248 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <string.h>
index c90c16defc35c80335cb5fdc85445525ca17e785..008229133ba724b5a3a02ffdf41ab0ae4961ce82 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdlib.h>
index cfef68c0217fe3e9024605fbfdfe53e489d12684..9ab4899c6fa91fbafe0040d048d3e8f1f175b1c5 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/crc32.h>
 
index 5c62513e2070b6fbc1fa54a8708512e6bc50a29d..9418b006c925552ce3b2c43b97ec378a7d0de606 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index cf98d7c9f7c59e4fb548347939fadd1c73014b29..ee2acdebb62c11005749d336f3bba9fd7077db2f 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdlib.h>
index ca5fad9ff6ed4688ff88cec12cd3298745689758..6120b37ddc48823a365e4d8288d4600c1058a6e4 100644 (file)
@@ -26,6 +26,7 @@
  */
 
 FILE_LICENCE ( BSD2 );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 251210d4fa19ce0103d02f86c79dcbae6045c39f..67bf482012b952389eb20153993f9982f6952665 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdlib.h>
index 3908871b8d70e7713444f2a4f7a9a14cd5c995c6..30163300a976259e526d6e5998d6f93946b7edec 100644 (file)
@@ -25,6 +25,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index fc73c651e910752157af3ab93cf4c3efdf723e87..3e320da43e1b2ecd4aa18e622d9ecdb76df47bee 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <string.h>
index 902eb91f37d8658f6ce4fbeb40136c849e006341..fe0ebaadbc04d919a39c1a24e8180016355ca047 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index c60d4ca1893b8edafef69cd37ab91b094154ab19..d1adf3d449549fcdd31cdf653f46746f6b7ac56e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <strings.h>
index df7ab7dbef53627a66a4842e7abb743d2c750c6e..e0b07f0a5cf3669458166f47c0654fcd785a0f8a 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct efi_device;
 
index 8427b6ce3275d8edb2b0c9ee9df50c1357593787..6046f0a1eada6595996005b13353c4ed9705a2ff 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <stdio.h>
index 5073502104834dfd207c505c6672d4f809e6eeba..a361a99c0412c50d026b1f69199a0127c717ae1d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 struct efi_device;
 
index 876479133fdfb92a6f63d26cd196cc0104bc5f47..b7231ce01a1e47f79f551e9d3571e30de85f71ef 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index af7c466c44bb78dfb766ba3a9a7f53e52eac53d9..42b54123e55a9f3fdbee9c15d1274ccc94ec6fb7 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index 010c6fcb0211fa3b3f9573faf7bece04d466013a..a61333a9d43de94fe78ddb71a4ba8a162babb216 100644 (file)
@@ -30,6 +30,7 @@
 #include <usr/autoboot.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 39272196a82ef7d23da0dc2b2ffd32650c0f2b1b..cc21ad3fef8a02f357f2d734a18d11507d7a0b2b 100644 (file)
@@ -31,6 +31,7 @@
 #include <ipxe/settings_ui.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 33c23fc6e34c5c09867c25cc89699d4d1a381387..ccc115b875c1b37bfc380375d513b5d7dbe7cd7e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <stdint.h>
index 56a4acd06548720626b20dfafab8c8512129975c..9d1ea0e938d8b49792f5cfa2bc54f1baa497ebc6 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 2906d1d4599a782b6c3efc4a6e84f7def968af4a..f4b9fef3adf7ca8d067a5141070b3324fce705e2 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <errno.h>
index 1792568622b827b702e184baccf886642ef09986..aaed0ea9b41d59019ece907b34ffe42f50e7799d 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 005d4034201d1d4f88f3d6414a72a021c1b0d65a..f8cd73f239ce82a9ae72b37185895afff62fc32d 100644 (file)
@@ -28,6 +28,7 @@
 #include <ipxe/login_ui.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 69ab97dcaad3444423e19b3ebec4daa01f215b5a..70086afcebe1364ea5f33ab28eb90dbc932b6752 100644 (file)
@@ -34,6 +34,7 @@
 #include <readline/readline.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index c5b71c04575528374dcca3fcf90803960c4f5cd1..daef92dc0a070186a373d433207d62defd72d6e7 100644 (file)
@@ -27,6 +27,7 @@
 #include <ipxe/reboot.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index a33754399c2f32a5ce3af7818ba907dde6986679..ff841ec1523214e0696ce77117347e7f0d8343bf 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <getopt.h>
index 122bee527e0a892bc67bb0229d324947875f29de..7bc60e641b12e90dd2e34e8aeb6b39b2737da071 100644 (file)
@@ -32,6 +32,7 @@
 #include <usr/autoboot.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index a53bb3fde702f78ca44d418c303b5af51ab95532..1566af4e99029f6d0a67563c40e45ad865b9a4ff 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <getopt.h>
 #include <ipxe/command.h>
index 9d6e6a2845d66138850459897d28b978bba6aa14..e3b97298c914f5fda925b736bb32e0b9f3c28b94 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdio.h>
index be9ca06a53fe3f504d9cfca80f93e70b1615493e..f88b81f7f6fca2ef75bdef54e401704bfec5339c 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <assert.h>
 #include <errno.h>
index 641f781a010b9f682f59b7a7abe0215f989f9129..c6ee5bda0132cd9b09ae260a07f76de811daafb5 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Jump scrolling
index 1cf3309ddd1891005967ac85f521dcac413549ba..7c607b5cc7e43a29a3d220f62c51a512c28e2719 100644 (file)
@@ -4,6 +4,7 @@
 #include <ipxe/console.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 static void ansiscr_reset(struct _curses_screen *scr) __nonnull;
 static void ansiscr_movetoyx(struct _curses_screen *scr,
index 2054f72cc9bef55aa92d890d54a7f40ee5dc31f9..d93e9630e7274a374e86ae5ffc864fb9497e6574 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Clear a window to the bottom from current cursor position
index 2e0c896a640ba484fbc4240380a92058403a2a2d..6f47becae4380085c6fd32beb48fd8f3f3bae2e0 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct cursor_pos {
        unsigned int y, x;
index 98a8a2c59011cd9bdfebf4f8b16b87c6efe8fa32..7f1779e8f44ddb332d3f6c48c65a0c1b37d14e39 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 static void _wupdcurs ( WINDOW *win ) __nonnull;
 void _wputch ( WINDOW *win, chtype ch, int wrap ) __nonnull;
index 27039478717913e33b404aff6456382951cf1a24..dc6187741ea3d248f0afebb8f2c336842ff188ea 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #define WRAP 0
 #define NOWRAP 1
index e8831c58fbba18508e19e85adb502b12673c9132..f7e0c848329633a4b4771225a155754926c57fff 100644 (file)
@@ -11,6 +11,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Add a single-byte character and rendition to a window and advance
index c024688ab5bbb108d3e65a64f2c3555a21b585a7..5dab3ac5cc20f379e1d8c14ccb4f3dbf8dfff6e7 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <assert.h>
index 97a5a18b399e3f7eb511ea71e1b72d81ec021e34..e78025543e68a65c0c6f9405c61fbaff0085738a 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Get the background rendition attributes for a window
index dd84d2f1dd24d505ea672d189ea92fd95caf741e..1b651123e27bc98760cf33a9794b1ca1cc44fb80 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Initialise console environment
index 5b46413e972494f46cb39dc00b302d1eebc6360e..3d0330a62abac0851d28fe989e00ea27f8e30bf3 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <string.h>
index 7e2ecaab6921c8bb2bf3db36462c4a32e5138e8e..cc7910eb8c39fad7e48af320934fdba5a6c6bf7c 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 1bba8c620af507f33fd1643bc7b808c2241f5d0c..48091b4135e01c7a524063cc98cd66c04e2ac370 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Find error description
index 6cc28c369fcb3ba870ea02ee14be873492feb6a9..2bce952fa81f1b74fa46f2399561976f69aa58c5 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 02552f0d21c4d496b7dfe173d087583a9872da40..31069b1545f15e28d6e00defddbe181123dc9b2e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index c7fad4a6b4157770fcfbdded919f17cba2adbfa8..f789a298f0001689bb118f050f342122cfe09c48 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index e3331d655a906dfa4a10df461c29caba3e147a6d..89c6f7703f2197b2e2c750b660bfa7d3450af513 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 57ff9e9a085c421c20695ceb1a25de994b4b7caa..a069c527ddbaf5ca7a7d400dc68423f6af3af64d 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <stdarg.h>
index e7b19c4ce4ef5b292ac2f2885e5a366ad98506ef..2631530e787b3e1f6db5a19b59703eeb9b25cb7f 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <errno.h>
 #include <stdlib.h>
index 652cfc85f0c22a107f25fb51cdbe22d9632394b9..22d3738cc474389de474ff61b46a19048bdd2103 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ipxe/image.h>
index 257e59a090090ce280a584d4d6295c82ac228214..57662b78827d16e51678ab61ec385a261a7f7d1d 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 5affab2db51945d7f38242d2b86a2293436622ba..30277f9a918e484b72f1cc67ca8281f00dd30fa3 100644 (file)
@@ -11,6 +11,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifndef ASSERTING
 #ifdef NDEBUG
index e9cb84942e6ba62be31e33b61a15229321aaae86..c44b3e4560e87622098b4d4effb7229f76ee95e5 100644 (file)
@@ -11,5 +11,6 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #endif /* _BITS_DMA_H */
index 09f5f46c87ade505281fc2454202e37c56ccfa46..e3f8b14127c0fab498c42eac3bc9514259415f84 100644 (file)
@@ -11,5 +11,6 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #endif /* _BITS_UACCESS_H */
index 4927f0d0040a82b068fdb7bd270617973df1712a..689755b0050e0df3b9bdf5651e60e77eecd690db 100644 (file)
@@ -11,5 +11,6 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #endif /* _BITS_UMALLOC_H */
index 5f026284c887e9469a81853d379811f514f1f3ff..a67b6941eab55b2544d6c4c0f0fcae4437087506 100644 (file)
@@ -11,5 +11,6 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #endif /* _BITS_VIRT_OFFSET_H */
index d1028c57937733e8d01255f1387bb643a998a8e7..0910e4e2c872fc81de065bda4758bdbae66c926e 100644 (file)
@@ -2,6 +2,7 @@
 #define BYTESWAP_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <endian.h>
index 6fefd5d772c02daa7752413b20e1c269a27691cb..15109ff9df1331081afcfec8c9d3505a181ccd53 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Check if character is ASCII
index cf8cc53c994323350ece63923ea7c5df5f791595..bbc437a4eb6fc833aee613547fdcc74f7d7ac007 100644 (file)
@@ -13,6 +13,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #undef  ERR
 #define ERR    (-1)
index bdae9de456732763e7c65869013ea03deb7bdec7..5565673caf0c2ee415d91794af46504793cbd23e 100644 (file)
@@ -2,6 +2,7 @@
 #define _ENDIAN_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Constant representing little-endian byte order
  *
index ac012a6917157219893173ebdfabf62f023ffd38..8900cdb34fafa52c3d7fa74b434af3889a1bb1d1 100644 (file)
@@ -25,6 +25,7 @@
 #define ERRNO_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index db3de17869d32d4166cb352447435523bdbcce64..4087c332f0695aa9f2e3f4ea6d8f31670d5d8094 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 
index 5debf85c26288e0127464368a191a56c8a2d9516..f1008e14fa16e2817db0aa38e338f1982ba697b0 100644 (file)
@@ -25,6 +25,7 @@
 #define _IFMGMT_CMD_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/parseopt.h>
 
index 5e9fb5ebab57daa86d931e31bc326f134da06362..c423aa5843c99ee05c51689edb769e238bd956df 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <byteswap.h>
index 2b54ecaca5ce61cd04f8cbd0349d765a43f9271d..9c34d596b988eb738dbf29731b9f010734bd0b47 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <curses.h> /* For COLOR_RED etc. */
index 80bc83308ff611c2a17b7065de7d91ff04bd2a4c..280f51066f24e1b29142988aab83ab0392dca04a 100644 (file)
@@ -27,6 +27,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct ansiesc_context;
 
index 14d11c5cb0879cc872cdfd7912bff5d51c233360..c548f42a2fec5031b2618ad84066de14c36f2bfa 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/list.h>
index d05d3b07a1b30a47d64c543d1608cfe2b6334044..ab61f4f143861b35c04056842607806b9e6291d8 100644 (file)
@@ -12,6 +12,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @defgroup Single-implementation APIs
  *
index 674423c543bbbc3c78b8f96ef1b31e49b4c05229..c70ea7effb094d854ffb3ff92bc4d825b80908c7 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 #include <ipxe/netdevice.h>
index 86ebb890f750090ee304c16745769af92f3d2a2e..c5dcccb99712b46123018b6d4430063fce40906b 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdint.h>
index cd78cd7951134e574d3aeada6009d9689f8c1653..eea086c13e22a95fcff7354c3ac566b55340c04e 100644 (file)
@@ -11,6 +11,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * An ATA Logical Block Address
index c9e430e7e63bbb5f2790b711c81a3b9c4a18a566..b2cf42eb42c6c88d08e709a32b96f14011718598 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index 0c70d83821d8d7e506fdbb921b7c339d908aebe3..f93039901510c4e3d667d2f86ee53f40b30dbeb9 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index 38aca694b35153ce6e52ac50197f04a0442d5d57..7533d1bf9fff6f6dfa3d9a692aa85fcc81538408 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stddef.h>
index ef6fc8d5a92cfa893c84d4c1315691d51911fe88..7e4d48ce45a1be7d242aebcc6d3df86c1be47b9a 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/interface.h>
index 1eb38885478d4359ae2bfa2005dff828f6f8e18b..66a7e353cffda17a76c8f46bba4eae2b5784fe11 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/refcnt.h>
index 5b19bc59e7d286d4eb410523f5f69e2540faa9e8..100e5e0986b79d1b1011ebaf6102fd939cc9d230 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 
index 7c693e29db6161c4376a6ad9c1489ee8de8e1be2..96514309555f4df1b8775ed82bd55b9a0512b3db 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/md5.h>
index 331536313d2f95b1b71dc17b222902dc0dd2c97c..cbd5fb665ddf8deb4656310782a3e7c39eb49211 100644 (file)
@@ -2,6 +2,7 @@
 #define _IPXE_COMMAND_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 
index 1b764aaca3c2ff1c7ceea9db5354bf7f26d22001..5e652a974b0d62ed17004b64bb2cc1510ed340cf 100644 (file)
@@ -17,6 +17,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct pixel_buffer;
 
index 744dbd269e1ef8afe8c757e38e5ea84404a98911..f1752ab0af5f52b131806cc43a1251b1ab14c12c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/image.h>
index 30d2fe66c81770216f25fc7555f8ae10b28ec8e8..7fe7ec88ead0375d096440eadb0eb2c123f7e65b 100644 (file)
@@ -2,6 +2,7 @@
 #define _IPXE_CRC32_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index dd567fb2c965254111662112465782e5c27ab98e..f458d7f3038d8acd9ee5dbb66afe1c22a7e4b4cf 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stddef.h>
index 89e6e4f311b4d13fd054562e9c403b9d7f0197a1..ca12d2c0797f611ee516c7a3b0d151651ee022c4 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/list.h>
 #include <ipxe/tables.h>
index 43729d0c5c9acf277ce4a31da762f0ef7b150dd3..bdbe3b74184149839809ade8aecd38847016a15d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdarg.h>
index 89ecfb31eb808662e4caf00c85607e0b827722d2..ff611331c58ae8e064dd1d2307638207ad8d3e26 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /* Include platform-specific client architecture definitions */
 #define PLATFORM_DHCPARCH(_platform) <ipxe/_platform/dhcparch.h>
index 707fda4a8a99e69f0b5924c4257cf510efabb20e..9fe7bb110f63848cb89234c645d2925e58235d9e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 86075960aeb0ca37e3747f99a78c01868f2e5a83..7d0153107e7ce9e5133d39c46f1f0c85c42a8f32 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/dhcp.h>
 #include <ipxe/dhcpopts.h>
index 065e9c376dcca0b6ffe93886efa62e58ff0a1e6d..45b36724a7b8b86c6af6ad11905c59e6ffb74e3d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/in.h>
index a6e41c1abbf5fdc663efa5c7c73befc0d4648723..e6e7a479391418556c966adc5fe78a4b1acdfa24 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/api.h>
index 738dea6e4803c87cbc8c03bd1afe31b5f1deb314..e7fc32c2542a152ac0a1fb15fbd7c3b582957d39 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/in.h>
index ccb1abfef6dbd82fb48be3e9821bf3b18ca6c53b..f87a8ea78f3a058ee5bc94404c369d5415539d21 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct interface;
 struct image;
index 9c9d942aa0696be20f7aa8a142b83979bccb1ccb..991a2545a129b5f27e9b66dbc7d12707c68cd249 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SANBOOT_DUMMY
 #define SANBOOT_PREFIX_dummy
index f47f5cb364051446b6e5c515b013cc5d4b71494d..e50c6ab49abcf9695114171ce460f5751b2d33e7 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/list.h>
 
index a44f01e0a2bef9f0583bc5203787ec3e87ef6606..2b37701381ced412a1d7c0b1529e8240e49bfea4 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/netdevice.h>
index dcf392946eac5a9fc18f870073203ddcd9a424d2..2d44750eca040ff5b47f18188213297b2212a3bc 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/netdevice.h>
index b2c232013e688fdc9c6c3dfd84b6544a8964d471..f31ccdc5315bed516b04a7eff0b7857a110ec2ed 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 1914fd0b0bba9fc4707da4adc77dcd8267e4ffdc..9529da4755525ca6224e066f412c85f2a09e14a4 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/interface.h>
index 1f62485fece43be34c57c2dbae963664837e3842..85d5919c91f7a7a6cefb56b5630ff0d780bfcf35 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <curses.h>
 #include <ipxe/editstring.h>
index 7ad8fb304c481533ed32d98a70a6633e8bfda2b9..48dc34f181205ff5c41c216fa8e3bf550754824f 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** An editable string */
 struct edit_string {
index 21b87316330ec8302c845dde6cf5fa33bbc8af4a..9fb8012f774d9091261e04f7a62246878c4b86a3 100644 (file)
@@ -2,6 +2,7 @@
 #define _IPXE_EFI_PROCESSOR_BIND_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /*
  * EFI header files rely on having the CPU architecture directory
index 5946524fdf9203815b119f2aa349423313742a70..417730bc39be22ca5cdc544810bb660a9835181e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( BSD3 );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_APPLE_NET_BOOT_PROTOCOL_GUID                               \
        { 0x78ee99fb, 0x6a5e, 0x4186,                                   \
index b31365173d17fcf7c227830c3361349a7bf6bc46..8fd3c3bc86f302678e02a4ec6e480b930209c108 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( BSD3 );
+FILE_SECBOOT ( PERMITTED );
 
 #define EFI_SHIM_LOCK_PROTOCOL_GUID                                    \
        { 0x605dab50, 0xe046, 0x4300,                                   \
index 3085704b0698c32301b8b8b6787cdf2242f592a8..9554a6ad7b787e19a529206127070e5617858a8d 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 /* EFI headers rudely redefine NULL */
 #undef NULL
index 68f9c5be739c4bd597ac7532cb2b2a39f97f3c02..d11ae95b1089a54b45ee5b2f8d1ecc5ee44f8602 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef ACPI_EFI
 #define ACPI_PREFIX_efi
index 94fd2d7662769d27c7c2daeacc4a2cc9fad768b8..29b80fd86f29dca13bf0d29c1373b50e15e0bd99 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 
index 18bc4200ceab35875dcdba538035525c91baa104..1e68daeee668706abc5a4af019f6eef336d10d7e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern int efi_autoexec_load ( void );
 
index f8cf7fc1344d6ec371a5dbffe88e6dd3501ee8e2..b010d71a3804102a266e53b46bc0057a7d1f0d57 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SANBOOT_EFI
 #define SANBOOT_PREFIX_efi
index 5968a1ea223dc66dd9421c7fb8cea799646b0a60..86164f46310a39987573bcbed003171dd7f9ceb8 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 
index 45abd549301a4ca73e9f90992ef225cf85101319..ed43d71a79d9f1db3626bace72b3ca10d10b9db9 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <wchar.h>
index 740fcadf5fa711b346e57076d725ac0989f072cf..ca96efae23296f80cc0618f8268f7018e42c12b7 100644 (file)
@@ -20,6 +20,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 5ab2d011a3330b90ddc2b502e5c1335b6fa7cc60..f373e47d34abead88d918733208be73dee13243a 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/device.h>
 #include <ipxe/tables.h>
index d18676d7eee00c19d5d4a951995d17c80a81cad2..644e6ddf9016477d740423ac0e598fa27a8b3dbb 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 
index 79c073cf16c177db1f656de03e84ef05f172b09e..bf14297a14f3d938ee842c30af958ca9561141a8 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern int efi_file_install ( EFI_HANDLE handle );
 extern void efi_file_uninstall ( EFI_HANDLE handle );
index bbec3119424f8de5cd539603593bad6c78404484..8a001723f1cb5c438f4c37de3009fc85f258b041 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ipxe/efi/Uefi/UefiInternalFormRepresentation.h>
index 0fc0402b177628f59a3748d045c454aba8da2bd2..7fd2e289400d9c0e9672dc9084a617f4d77f1dae 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/image.h>
 
index 1ffb0556958353d6f6e6f6800310121553a96f4d..6c01072c3f313b4a8ad8ffc8844ef106c58908d8 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef NAP_EFI
 #define NAP_PREFIX_efi
index d23d363499febcb8a94a94357356b1ecf627e92f..e81545485a54e0d37dc6453718ab2a2493f2f541 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 #include <ipxe/efi/Protocol/AppleNetBoot.h>
index a37d7b9d703d1ad0734f57f021882a82356242ed..f68d782fba8d8555877657c687b093f87bde49ef 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/interface.h>
 #include <ipxe/efi/efi.h>
index f8d1e3e40b3e77944b65cb5f2c8557f4828b6847..670fb7d7a4b8a3aab874969d10ff3b5ac0ade344 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/pci.h>
 #include <ipxe/efi/efi.h>
index 956795254a583e83ac59d404229773600957806d..474555871d50fba1e3fea5826ecfaf3a91681c3f 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef PCIAPI_EFI
 #define PCIAPI_PREFIX_efi
index b356f37891cbe469ecf4dba5bfb734b951be8963..d9aac455c4ec83524d25d4cf9a3e633cd76598a4 100644 (file)
@@ -10,6 +10,7 @@
 #include <ipxe/netdevice.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern int efi_pxe_install ( EFI_HANDLE handle, struct net_device *netdev );
 extern void efi_pxe_uninstall ( EFI_HANDLE handle );
index 249cae8c570bb060bdc1db01905a909c1cc87ea3..8eb38f271d97d7210491f044d8d220e56b0a225a 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef REBOOT_EFI
 #define REBOOT_PREFIX_efi
index ca4c7b2a44317446255850dd0a60b28360d800c4..2c5bc8fe93aca90bb653a36c37fbdc0a277cdc99 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 
index 21f24315a3f0763e3296d214291bb57523606def..d205dec6defaff3c8a7b9d01e57d9c6bd4e33620 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/image.h>
 #include <ipxe/efi/efi.h>
index d890d546017bce2035f8f2d14daacee81332ec07..23af651a8c93542191ba807ad9847b346f18ac22 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SMBIOS_EFI
 #define SMBIOS_PREFIX_efi
index 1095b19e3dea3fdc3f089f0025ffbe0c35e4916e..0822466db91a2d9d2bc19ff43f72146c164028d2 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/list.h>
 #include <ipxe/netdevice.h>
index a7adff8277a55e058b1fcff33897b44f25e90be4..36f5a7eb0460ae565bf38ef6870be30fa22df01e 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdint.h>
index 9a41d87235da5236a094b0b4106c6e1dbb18040a..714069e1569db81d914c08a5bea51bf2ba9e2969 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 
index 099994b575a414fd8010e5ca9081a285392a868c..8b2addc0fed5f6466d87fb0616213ff312bb819f 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 4eb2a5f9be7555d457d32fd9eafe0d47d7b407e5..4d5c706cac1513a8f7ac62d7726ea888aefaa0a3 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef UMALLOC_EFI
 #define UMALLOC_PREFIX_efi
index 98659b1500bbd96f9b95f427f1d956152c15475b..29dc171d25a2f630e2e4e7a699a4ab7ee6474148 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 
index c9ecbb05cf7a61db3120da0f5f526949874ec374..be48441adecc581dd643055ca0baf1927845e541 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern void efi_veto ( void );
 
index 4a56b9a299a1f6db58f03528257d8824702453b5..1801c6d6cf53e8a07a86236ddaf950a83c04e70c 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern struct retry_timer efi_watchdog;
 
index 1cae3d2db8f48741fff2f7b2eadccc77319160dc..7801c77d0aec90738c845e496e246ce3b8bfc6ec 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 
index 99d6cf08308f5f01a9bdebbaa303f65963cb28e4..1f2d0d1f67e81cdad11eb5308ae8defadc0c0816 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct efi_device;
 struct net_device;
index d97c5eca613637b788b4a1aa34fded16d6ccc086..8379adb139cb3c1ea9afa47434fbbdc6f1797d16 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <bits/errfile.h>
 
index 9f010f5fb127706f41dbfdbf2c99a2cb935e1ba6..2db2d5cb62f3035ca7d9435b06929377534b38ca 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 #include <ipxe/efi/Uefi/UefiBaseType.h>
index 4fe81a6be733e0d8ce4278315f21395e50f1fc50..6c63bb6d16235676cee463c62394b8a2d9856f6b 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 
index 754ea6e1f161aabb0abe04386fa38786183c4a0e..757bb83f099390650d52fb56314fd07212ad5b43 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Slow protocols header */
 struct eth_slow_header {
index dd04e00ce091d40a146ef9f431f1dc1803b1268a..f1eb21dd0a1555e6bf4200d812ce6cd72def8122 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/netdevice.h>
index d016b523716859997dd8da7e36805b5fcecbf58f..f23a98f2d51888b27480a987257b34c3f6c12bff 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 356296c3544fbb121f10f40d86ea9f6e9711f51d..251567226cc6b7c1f9d4d0c0854489e8c2bba419 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <config/fault.h>
index 840d11f62520f79d2cbe5b6e5edfbc0e8f3d9dc6..8c2bbe5e54a81222257a28e7112c9405a8308052 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/refcnt.h>
index 02f755115f94f3c081e944a3377e7e87f62933d8..8aa086106cef834f9020176be2dd7fa0ce0b2ce6 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/fc.h>
index d86afab4277d2b6478ec170b438e37f2842643d7..96aae37dbe4dabdc5b8254bfa0e3bab4b7bdc5ad 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/fc.h>
index 8d7ebfe7ecf633fc41b63e31a7e644a4e2206c69..1bbc38ff9a6cfacfd8bf600106fd1478d6742d17 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index e86a2d226cfba84ffb3260127aaa32ec8de22fd1..2d1ef3b7b6fbc84d526e4f346a4f068534c0fec3 100644 (file)
@@ -12,6 +12,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @defgroup featurecat Feature categories
index 0069e5e08f0525dc005936ca146fcaf5791ac10b..474ad5e1c671281df5cb86f32de4868badb504e4 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/list.h>
index fc3e7b7a1093eab590024cb9d77a7d2ec8a787b3..e84a75237b4991a45317bf2f2dfe142b1048792f 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/refcnt.h>
index 1342740267e3c0485b4c7cf9db4a41f4487f307b..dcc43255831796f67fdf46fc818af83e3d7eda42 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/ib_packet.h>
index 747f9639998bf8a85e1dbb3319a6752501b92059..087e86d5a845099643b910f6b394c16079c69195 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct ib_device;
 struct ib_queue_pair;
index 4b6df8d3b4a760ece2d51986af32d923b7b56c2b..9bd272a3b435885fff6bfdc1aad43394e78ac839 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( BSD2 );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/acpi.h>
index 51ce781a64407deca77705f56206c3b2190991ac..9534c1e8a10073e99fec859b038ec5052a517e6e 100644 (file)
@@ -29,6 +29,7 @@
  */
 
 FILE_LICENCE ( BSD2 );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 803f8e0195eb1c03cbf35179c9c6a01b9beff782..a62e63ee8a7d87067019860558cf9335402e2e64 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/iobuf.h>
index 0474ddca83467053bb2151a429d5a2308dc38ba0..7d0c5ba14674496d1a24c9036436f3c52ade547e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/tables.h>
index 9d7b03fe8c6583e6818c1036c54056b839a05545..31d7d8b73028a853e0d3badfb5de14810f1e665c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index c1168b10e9864f0c342b3cda86d1f6929c545e23..a7d0e55f9ca5cd31260dd7294b0db8fac8335798 100644 (file)
@@ -2,6 +2,7 @@
 #define        _IPXE_IF_ETHER_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index e0e70f36044d2e0806bcee7631dbcc22cd662f8e..d9abe11ec43f5d6696d937f9eddaa81423282c3d 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 #include <ipxe/list.h>
index 05a8122ef2127a6c0387377c6fb8afccda935390..f91ab306a6ff06153a6600ac3c829a631097b57b 100644 (file)
@@ -2,6 +2,7 @@
 #define        _IPXE_IN_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <byteswap.h>
index 379bc109e9016a997f77d713f7e3021e0f7b8fb3..8022ab6066fb28e6a00949b065d5cd8bea3bbe9d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/refcnt.h>
index da01b29531ae4e61793a2213265e2d514200c300..00946fe830b2564e521bcfb67dd67ccb175d8682 100644 (file)
@@ -2,6 +2,7 @@
 #define _IPXE_INIT_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 
index 0b955a38145c1bb4aa8334e095dae6dc76ae29a6..50788597bb8c9c555789665f408795187a96a59e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/memmap.h>
index d2fa8190ca7eedb4a8180c75721392ea142b0701..87fd3c62f6a7d712af93e649cfd814c2f9934143 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdarg.h>
index ee2b7e156101c9eaae441aa85fe1dfe8073feccb..1bb49370cda45bcbd217d1598e89e304091927f8 100644 (file)
@@ -17,6 +17,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/api.h>
index 46b350458f2198b56aa08b885d3c4fe9b38bb309..2ff24e50f3516a1fe588f87b06195c92417f5c0d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <assert.h>
index 7d1547d9cd96fe330fe74a05476b63741de31ddd..23153641e119a50807836dc4caee32406cda641c 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/api.h>
index 3dd66bd7553c3bf8acb74f040029454bcdc4cd57..a2564ec76fe9203e063b1046ca2aa19a207291d5 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <ipxe/uaccess.h>
index e2cd512ac69b8c45eeb0a660178376259c77e258..3a5c3e1751707fbade493fce62d7e694cc2ddd67 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/in.h>
index b34ed5fcf64d9dd443dab418674550c57f8e236b..b02673dcd497c65f1bf0bdecefec5fa037bb4b2d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 
index 4dd43f16d8d1c2b761aa159dc765ac5f7e5c25e4..bd7181e69889887da9ec39472e1b48fb7e9adfec 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index a25eec257e5a33e2b7f18c643ed13b18c9086a45..e890e62ad492f0b05360470482a9b0b010219bf4 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/socket.h>
index 34cb8f0a17e8afee3147bab35dddb47439e1b2e1..6727c7721942100605bbdb2afe5e91a85d88e9f2 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index c01bd1740036597eb0b177c1051ec338de7354b2..088012ba768e8076759a6628154e07f1babeed2c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/interface.h>
 
index 470f08e7183a30e085e59fc45ab0a6a43da36b63..0eec1b47b81058209929c45ae2c80123ab2a07fc 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 49a8915ef0eaf519b53aa0d7763458bf90737d12..cdb83e03b68feba26a392bb65dc92cc5cd448d47 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/tables.h>
index 38ebd7d1a404b14d7ac977aac046a3bc96e165bf..b2a62744edaff893c119b1a70ecda12e16ab4988 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /*
  * Symbolic names for some standard ASCII characters
index 630278a047e8ac0197693bb7df13c2308e9a3512..b46168415e285542f2330de9490d9df1ee5d5536 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stddef.h>
index a2c33ce2cc03b5aadbe791243810c30d83d63ff5..f6dbc92527ee2c577b6b621fc1677b951c16e388 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef ACPI_LINUX
 #define ACPI_PREFIX_linux
index d072886c74fd6c2da2699ba362b1688710f36e6f..329124e528ba2f0816ecc265840b2e4b63dc2f6d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef NAP_LINUX
 #define NAP_PREFIX_linux
index f9cd9881940d1b27494b7185070100ddd1932fd1..b0fddc41a973a9825b755424f2474e32960aadf0 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef PCIAPI_LINUX
 #define PCIAPI_PREFIX_linux
index 16c6d8acd173838570612de35a584202fcc7aef9..32f006b668f26dc720ac3fa7fd2db938b879ec66 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SMBIOS_LINUX
 #define SMBIOS_PREFIX_linux
index 872ef5adea3c08ec0420a0b7848c9883eed85224..cf02452d7aa3839b63a94d0b7612c70e15db7e24 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef TIME_LINUX
 #define TIME_PREFIX_linux
index 7770ea90ef6c4d7baff56764ff0aa764fb58858d..c3119a60ea4b140fa5949708e63ae62c856e805b 100644 (file)
@@ -13,6 +13,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef UACCESS_LINUX
 #define UACCESS_PREFIX_linux
index 1811d0bc6daab2cccebeec0fc21e24f2073ab1d9..c1669b42a371b2446c23ea4c9af4d9a915240bb7 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef UMALLOC_LINUX
 #define UMALLOC_PREFIX_linux
index 2f02e71f0a876d70641868eeb833c236a6afae13..4282d8455bfe6b9dcca21c7ad2c77eeb8c4305d4 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <assert.h>
index 9951d3b8f31897c9fe25968ad7ed0756a996fc65..7d4e7f6cf2c15181c040a2993f5b87619cc2fb00 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 313e0734997828e184f398905dd24f1d8aa817ec..2924a2f631dd9f8d6bda203d59e8dab49fd89e80 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern int login_ui ( void );
 
index d3f056c152d82bed251a24c67e42f54eee9e4d59..fac46bd00d5a3679f146a4799cc39577b26de857 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /*
  * Prototypes for the standard functions (malloc() et al) are in
index 527ad3658c1247a68dce363992901ec305803944..275e63824994af478c256d01a8fa2e62a9c402d6 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/crypto.h>
index c16e25daaa7fed17b387b076e7dcb55c21e4ebfc..4a768f86713a3886e60ec34288d69629506609b4 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdint.h>
index e2e783740c79be94c57cb4d45a3db92f6b173c5d..997135d7041c1398c3fadb4a82083d33e0b2d6f3 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern void msg ( unsigned int row, const char *fmt, ... );
 extern void clearmsg ( unsigned int row );
index 1661d91c2ed3093e9c2dcdba12b1375168f84569..cda27616ae7c17c5a66776950a3670025fcf4a2b 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct interface;
 
index 8d5d8e3df828d94429e32d3245d853adffef89e4..eff5ad5b96da2fb30a14afca5f2aea668529a923 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/api.h>
 #include <config/nap.h>
index d06672ec1565a1ee60059d24b8c39fb11699d85c..0c8a9a27d07312266bbdc0e101254d3152263c92 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/in.h>
index e0701f6e3b3a5a7a4d3eaf7d3c87bcb50eed5718..d400bb93acec7cd3d6111364abdbca94e4a6ab0c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/refcnt.h>
index 17695d5b64e48c324b986ce8eaca01f7eca08995..62f0dd1f76b9260b3c600ca31983a101db9305db 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/list.h>
index b0436c9ac40ca967285bba3a4fa0487ce70e4147..867f5ddc32634e110fc3f37bc01944324179644c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/crypto.h>
index 18f05996419601d9d62c5019f9e8deb11df683cd..dd39926304f4fd60ac7336b197e2addcce95810d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 
index 0933d45befb67fc3271568d3169909e312b8dc63..122280d142a7d3959019507be8d4bebda75e11ce 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef MEMMAP_NULL
 #define MEMMAP_PREFIX_null
index 17145b48bcdeec3caf1ef63ea79cccd83a6b7e2f..3f4fc13ae660315aec0d957e28e77df1cf2139b7 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef NAP_NULL
 #define NAP_PREFIX_null
index 0cdcdc10989ff47f9cd64a100d87066c914a0174..1e7b4da60fb8a25e9e13804a4f70159e93238a0f 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef PCIAPI_NULL
 #define PCIAPI_PREFIX_null
index 5de38afc0105bd970cbcd86f982ece6a21efd738..47539300a6c7968604a4e46b9749399dd00c9b9e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef REBOOT_NULL
 #define REBOOT_PREFIX_null
index b0e36b8b09efb94e2e500e525a81cbc593fcd872..d455edbd603c4b771f5e3b031c6d66c8ad9e7031 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SANBOOT_NULL
 #define SANBOOT_PREFIX_null
index c430dd08929026e188181fdc20491d3af5c33ddc..474398b3cb1f808db042650c41b6644e9e8a461e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef SMBIOS_NULL
 #define SMBIOS_PREFIX_null
index c670a5fce86a874992048c7070b9623507f624b2..db85769f7a69ac7c59bce42b841ddd39490bcff7 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef TIME_NULL
 #define TIME_PREFIX_null
index 7a3c7a3db3d7f0fe622f83f91012585432e39891..39e3a707d0a7cb8b701b9c79a3d20c4e5c952bff 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/dhcpopts.h>
index 5789f4c0dfb2b9ad3d70871fcf49dcd3144f8e9e..1b02acea61da8408a8da8be272aa67432687fdee 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 64e12d1776938d88be7ea9b41ff7ebd76875e030..f429cadbeda4630902d7aa5704faa9b65a9e76d3 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdarg.h>
 #include <ipxe/tables.h>
index 61e46e029c1a0229e6654ed7b8b026c155e6fac6..64008380e8fc689fee66f125560f241868d63280 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/list.h>
 #include <ipxe/refcnt.h>
index 5c449cd42dcbc28266b38256ac437a62a0b50bca..dec230b0f9a9447d0acb66c5542d91366c64d2c0 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stddef.h>
index 2728cbd45e76a48eb4dd59c567a4e8aadade72ca..44095afe2d504a98b2a3bd4ecf30ca6cc7b1fb10 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/device.h>
index 7ac09efb0dd6d4d737e1fac3458155d165ebb27d..e67832fecdd4e24303f36790b6db6e81dd3041b0 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/api.h>
index 52268908c901ce8a0344af30f9ddd8e06dc7b6d6..19d5147be8fdd03aef69940641b09d4f1da4d78d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef PCIAPI_CLOUD
 #define PCIAPI_PREFIX_cloud
index be6ed05a1f058c35e430657e50723f017efa480a..1ed10df18af5bfc441578811ac1b504cccc74886 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** A pending operation */
 struct pending_operation {
index c55bd1ab22d0b7710bbc48e88fefb789145df7b3..7a45f1ab79d84644b3f03325d407864529bebad4 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/iobuf.h>
 #include <ipxe/tcpip.h>
index 81ff57d75f75f66decb7041ae83644cec9f7d099..fbd8567a998314cb8dbb9dc237cc5a3b97ac46a7 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/interface.h>
 #include <ipxe/list.h>
index d5e13aa0473d42cbcd912c808c072464e880adc7..0ec94f9bcad624d039eb3582fdf4be2f28c2b73b 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/list.h>
 #include <ipxe/refcnt.h>
index fd45b3cdce0c55dfe73d9545b9008ee6248fe6d4..c7e6d54f2ad2f5fe609eedb2d67bbf5124f8271e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <bits/profile.h>
 #include <ipxe/tables.h>
index 00b530b83c00ea8903075186aa863961d04c0733..a43628de07d0d0c4c8fcdbf3f9254c1120b9b672 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 
index cfd5b546d8f82899d5b135214e6ed0ece6cf0938..361988ff1e5942b63a334e8a538c3ee0906d9d5c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/api.h>
 #include <config/reboot.h>
index 7f489abc981967b051397a082df8aaf4e0ec24c8..dff67bf58cdf517e4d8efb8bd106b64ca12bb0ce 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <assert.h>
index ff48d35caf603e8ad5a32d3cb04bb157816e58c9..3f26577c664ab7a03ea5a037059fbbd54c005915 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/interface.h>
 #include <ipxe/tables.h>
index 76d45fbd0144730dc8c7225b9a003254a477cbde..6817bf4c91e4e6fc5acb309438326ce3a7e1b84e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/list.h>
 
index 4dea09aeb8fa38dab608b56fea2c4d77ca2efa5d..77a87dffd97c564249f381a72c5a81ac3280c9f0 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 9d5fceee0ae375c6e27eb4c299bb4e7fcb5625e4..ea44191c2885f5ae6055f6a17a497fb16bb7d7d5 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/api.h>
 #include <ipxe/refcnt.h>
index 4b74670eded2c9474b0729940733544e833f128b..b708215c1420ccc4aeb85096ccf36bfee50bf7a9 100644 (file)
@@ -19,6 +19,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * A single line within an SBAT CSV file
index 7e7a9a3a4202c901690eb68e436f6bae4c0c879e..59a42c66f185b184b0dd07b6747d956290d4ed65 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/image.h>
 
index 9bb38a059c76aa8c4d655433471de0e96bef56e0..858f635479e85f2dc40bff3c1787109cf751c37e 100644 (file)
@@ -11,6 +11,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Maximum block for READ/WRITE (10) commands */
 #define SCSI_MAX_BLOCK_10 0xffffffffULL
index 689e011d383581aa5a8ba25646ace9ea88c64681..1582aaa8fe019487272c5a7f34fc1416fa09d5b0 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/tables.h>
index 0bf21935da22ea2dccd9fecb8385c88974bf74de..41e3351bc0bc122151c559b95a6d5b2ad9735cf6 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct settings;
 
index 0d574e0288507ab99a1e1132184416a7a321b7d4..cbea7b3193e6ce8e7701e7793b6368421882c600 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Shell stop states */
 enum shell_stop_state {
index d9e2c38ed6599f8028306000eaa7ae99014257cf..5e431504a2df1c2ff1e7d3cea05c9b286873ee69 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/api.h>
index 8c70ea4c055dc28b8518a42ba4d7ebe24b6e4105..f0e80a7123f00e4566c07a5f7be6058a37c7535a 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/tables.h>
index 1f66a22b2925a3dd9ccbb60baa109df546db257d..c2450038ff282d19bedb442176d2f04e5f6d05f8 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( BSD2 );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <byteswap.h>
index 3d85e5ba40ccea8ac5b3c55f91108dec3cded5dd..b30e09d20cd5a5d0d8021fc21b120ba19a31a580 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/if_ether.h>
index a8cbe8faa039c5c002c52cc8cdf08c36c721fbdd..593ced230415ff24b3d12b6619e2147f485660f5 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern unsigned int digit_value ( unsigned int digit );
 
index ac17f4b4b831ea8338765dc797013d9756f035ab..d0f88cf56ae9ead38546491faf0869f38038e39c 100644 (file)
@@ -2,6 +2,7 @@
 #define _IPXE_TABLES_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @page ifdef_harmful #ifdef considered harmful
  *
index a1e89f718722b7543a56e38cfb59f867a1ec51f4..14e8169e043ee1c96a343ec746ae21d8f8d6255c 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tcpip.h>
 
index 414daad5365fdd461fba357a60f83156cef479cc..cfee7aa1e049daf4ffd00beabb2e0cea754f255a 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/socket.h>
index e3661e1ac46da9bc958d11a292eb498f3984a15e..fa029e234bbb51a73fa8153cd5791d16811c0b6d 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 89bf90e0355274f79545e06078ebca3f8bf3ee75..1b6f5daff32fd984b163e26f2ad3380bed65118c 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <sys/time.h>
 #include <ipxe/api.h>
index a6dffaf1c3934ff64337408f250287e85ba0e53c..72ddc9d28d2c96c5b6467d0053c543cfdd260faf 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 
index d97db95be1ed15b383879af0e959b5ede4e559d3..1b0dc9de782a41d98db2cbfd07497a3b44ddcd10 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/api.h>
index 7b0de4dc0d295ce09111468ee4a6598f74b20ff5..693b2a422dc7fff8968ecdd17045eb3f9d898dd8 100644 (file)
@@ -10,6 +10,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <ipxe/iobuf.h>
index d356786d352f09b55f153918367aa7c1169f7bc0..0d37a649a59eaa1fc320859aaf92921ac64673ec 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef UMALLOC_UHEAP
 #define UMALLOC_PREFIX_uheap
index da6c341438517d3a4ebe4df6d3a87712a2e84d63..c2a13dfdf48e5ee827f43317f169cdc1b3c15f5d 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <ipxe/api.h>
index a94b525e195fd9a2221b99c486db4f575da9eed4..0de0135e49d683dda20ee3a88547c445b6e5da06 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdlib.h>
index d9891b75742d75d78fa6dfa9b5b20933eb1694c6..9b8c7ae0022c3c243236068c161b26530ce7090e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <byteswap.h>
 #include <ipxe/list.h>
index 299c255110ff27ec90da03bffd7360d5e8e349da..10b2fcbd61d5c4f2bda57be63585d3f96a183634 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 4874b738201944f56a2e274966e47447ac307f4c..d0120741d6b3a43b97b1f3bbb86383a4bc113b1d 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <byteswap.h>
index a43a33425b39979e6c47d748a1d7b50ba245230d..6be6096dcade91ce3b035f709723087ee5c6a205 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <wchar.h>
 
index 2762acb40a0cb61c38bf7a732a9a551701fe8c3e..31c434fc596eaf40c7706faad5fd9862ad404071 100644 (file)
@@ -47,6 +47,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef UACCESS_OFFSET
 #define UACCESS_PREFIX_offset
index 20bbc891dc87e4c8cf278a3d5f4edd2267768ac8..a1cd761828c7f72dd7fee0f7de3a66ef735b55a4 100644 (file)
@@ -9,6 +9,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/netdevice.h>
 
index 9e6297715bcfb30b33d5014e882bec4e1ce7fff6..8b25422d8df3abba77b178810a323d7b3b1028d2 100644 (file)
@@ -32,6 +32,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdarg.h>
index 945b4672aefd0c3e04ba0a4767b0180347a2ba56..6e61a8ca8e7d0a919648dff6bd8fbb376eadc8d9 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <curses.h>
 
index 3a35fa924e0f71cc83ce70d61603e880e98f2efb..c35be31d9dcbcc898b2de2f4086410acdc028724 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdarg.h>
index 04fcf228620c25af202f59d4e5cd3d9cc03cba7d..aa0b2471f14d5031d7c6a1ec042b5b46c04b8f16 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <ipxe/iobuf.h>
index ae0861270a8e37a9c70a4888471f7d90a21728e1..b686b15ac89d583ae793c43ca3b766124747f95e 100644 (file)
@@ -2,6 +2,7 @@
 #define _LIBGEN_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern char * basename ( char *path );
 extern char * dirname ( char *path );
index 3caf28b47172630b1cacd5195a6e3572ce313b33..a2a1d950aa6926b05f46825e7c640a04fea638b0 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** A readline history entry */
 struct readline_history_entry {
index 89e94ce22dbff4f6eb3d2df478a5743914c3693e..a981ea24afc457366f8a2c1fece01ba84ece9825 100644 (file)
@@ -2,6 +2,7 @@
 #define _STDARG_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 typedef __builtin_va_list va_list;
 #define va_start( ap, last ) __builtin_va_start ( ap, last )
index c49a7f192586fd859469c7e9a6376ca6e77eeab0..6afd038db4cd41b880d10409403421b17c2fd323 100644 (file)
@@ -2,6 +2,7 @@
 #define _STDBOOL_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #define bool _Bool
 #define true 1
index fb01c489d8acdee6d547d77f80067ec707464fcb..7f46a772922e475abffa50d20087490a0543e2ae 100644 (file)
@@ -2,6 +2,7 @@
 #define STDDEF_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 0a239a517c0c27e5471901fe1610a68272c90030..2fcd184fa316b8d46e1010ad5237949507d74918 100644 (file)
@@ -2,6 +2,7 @@
 #define _STDINT_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /*
  * This is a standard predefined macro on all gcc's I've seen. It's
index ac17da83d3f4bbc721e178631f315ea19a42e6d5..5dfa67865f7f25e3233d1af7fc225003a1e7c93c 100644 (file)
@@ -2,6 +2,7 @@
 #define _STDIO_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdarg.h>
index d7748a07ee374c96a8ab1152595101046a371961..8a531110eb1277f605eab199c6b061f69b804619 100644 (file)
@@ -2,6 +2,7 @@
 #define STDLIB_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <assert.h>
index 4ee9c7344ba0f23844be4fb98542611ad5bcfb79..3affe8e868c742be347972c92b3eb1338ae91fb9 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 
index d7e9d697194ca4884a4fb81d304e1b324f10592b..8eac3e5e49fd74f23ba120b648d20fc942da04cf 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <bits/strings.h>
index 6e2a24447991fbeb58b51e4e96afca4c645afbd0..e49df570f86834f5a14aa4a802f13b4fdb92e245 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 
index 748a4faecb751c3080a8692cd1e37480039c28f1..09c0112fddc9622253edd5fd247b2a450427d479 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdarg.h>
 #include <ipxe/ansiesc.h>
index ab93a3dbbf35efbe46f92907c5ba9c4ff5367fad..5ef67ece201896925cf63e6045b22eac37099cee 100644 (file)
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <sys/time.h>
 #include <ipxe/time.h>
index 6c31c060128d3165c180b3ba9638a60edfe2a060..56431d15ed6060c7c4f0c8a50a85f1e7fd65103f 100644 (file)
@@ -2,6 +2,7 @@
 #define _UNISTD_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdarg.h>
index a081a70df36a67b326549976e51f4c8bae79dd43..fbc8b10e9a25a173f5cb13270f1ee96d1c235870 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/device.h>
 
index ed669eb9d0075ada958f6ad16d6b2a313afce12c..2440b17139fc9ba6a98af1ea84bf236f41059ac5 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct net_device;
 
index 8d8a6bb56a5b8c53654ac4e5d717a8343e27814b..3b489c02a95d627564655ddf05a50d85e092b337 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 struct net_device;
 struct net_device_configurator;
index 506c3eb14ecfd2e4e21deab36f0dbf4dadc8f4d0..f98af7984ea1d7abec07c43cc4b7e97c8a066023 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/image.h>
 
index 8d3eeee3c2a50b2a3e02603dd65c34f49b1ca908..22c39105f9e956fcb2ee6a0a01a2fc3a955cf810 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern int prompt ( const char *text, unsigned long timeout, int key );
 
index 7ec4a350933fc8faebc48bc1559caeb009dac133..7503c8c5561445c87be28c7952c2cd996060d27e 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/tables.h>
 
index 0c59f54a8aa95148c5dd911333ddf7d2c0a36d36..0ed85c468e33a5c97dd731969e14184403bab9e8 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/image.h>
 
index b6f12ad6e2056c91813ecbb48e34795e859d3ff9..b24ab32fb35495ae2314a1c5008ea71c93520a18 100644 (file)
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern int sync ( unsigned long timeout );
 
index 7d4b56d31cacfab2bc55907fb19671dcacc54560..e7fae01edf7a1064416b1add8b818b7f100c6a0a 100644 (file)
@@ -61,6 +61,7 @@
 #define __MEMCHECK_H
 
 FILE_LICENCE ( BSD3 );
+FILE_SECBOOT ( PERMITTED );
 
 
 /* This file is for inclusion into client (your!) code.
index d48bbccaef3fffe060020ab18afbdc5d69857404..1a907cbbf5478c23a0de3d3235ad20a86d926112 100644 (file)
@@ -74,6 +74,7 @@
 #define __VALGRIND_H
 
 FILE_LICENCE ( BSD3 );
+FILE_SECBOOT ( PERMITTED );
 
 
 /* ------------------------------------------------------------------ */
index a7e9de4f21bd69598b44f79d979a1b5f8b9b00c5..427bfff7a0d4b5a1eb2eff6ee68548b355793b76 100644 (file)
@@ -2,6 +2,7 @@
 #define WCHAR_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 
index a2021a4f6cc0958c12f2f4e03026fef04c3de919..cb8b4a5d01db4ee4c92d9604a7ed664d723e584f 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index e52c857d829e4bc9b25c475ebe0c81af8454d7ca..9e0c3e42ed65e1da2901f6401f63b60dae5ac8ea 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 73ba5df339e23b693a750565a1a7ca1ffa2896bc..b63ac160298294e9b3e59567b1b3aa2b9631ee97 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 10952ef8acf60db365c8ac8fcd490e4619737251..0da92307b506579a80c61898c6a185631375d16e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 6bba4173a570dc94e2f7a23ad0988e3294e882d0..2f33fcefbb3aa733c6f07e6b6e7d6ac0060df2b5 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 8b9d8efde758ece176287fb799289b42dafcec7c..f5844f2ad7e2661afd588f369c61f818bd5610fd 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 5aa8dc6898766fb6b47ac169d5f2a84426f6dc64..f4747cf6bac3e03f1283ad2739e3faf69f6406bd 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index e896c5d88ec2568ec225b2d64b55605f1b1cc6d4..afbd722aba72f7de312b4a740ae49e6dc164c2c5 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <string.h>
index 8d12bd57c038aaf10e9e5c74ac902a0e3527d91e..1c2f1357360f990a4aeda8e54e3295c9fecd1d51 100644 (file)
@@ -17,6 +17,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <string.h>
index b1ff404beb5e663f51593c7a637a60eedda354b6..cb07af4018caa70e07e010a3896b38f08ef8a204 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdlib.h>
index 1909dea104d28336aa7ad650e16992a37d568e10..2f49b1a998cdd1fa63a756f29f8e79a7abb1e3af 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 135eeb881abcc5479e208f954740344e0828db3f..c989aebfef5868a95017cc1e5dd5a83f7203ea29 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ipxe/uuid.h>
index 66f58affe7b91d88e1ac72de7db48a3b1ea665eb..fd65ae1225b5b3b9f44d3d535e4c182a592b62ab 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <stddef.h>
index 69aea0d5021e9559c58539d4dc2a41d8e92d42fa..ac62ea747e0e9b9aca1e2939498d654452446177 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 4564470fc9441ccf2c44e82f5f06af24b1f6cfb8..58a5f689fd80d2898234c3eac756d0640ad2aabc 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <strings.h>
index 2bb47627f930cda19efbf4b125175b03ef3f323f..9d97dae6e688345c58f12ce63537405239d5e7f6 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/nap.h>
 #include <ipxe/efi/efi.h>
index d0f0428cc1187b7e547c8c807cc78d83876d14b2..fb9ee1780d058b44a19eed9eb06489b284962373 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <ipxe/efi/efi.h>
index 8f8af4ea02eab7fd22b5c352000529fdad2743a1..679d1946edad2f28fbf9601be4b2efb2396a6c5d 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index dd0df67e58f13841b6515d8f3b92c159dcfac1c5..37558c36ed3aebece418c0f1a44429cd5fea41b1 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <stdarg.h>
index f4853c234ef32b98a102c94629e3131f23bbfb2e..4bf3977c5d814ee3873af52b87616e46d8008f11 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <string.h>
index 4ba0570195643d4d7b84d0e7cd015bb712bbc196..2d1a6fd73a6d15a54bee5abf0b56d19332eef750 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 7ed9f5c8421d48a1681f00f9eab23109dbb993f7..cc35ef7ad55b65751e0e48e0aedb5614b08d6808 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index f10733b24f85f4eb64188827c7aa38b72f65e022..4e2f2e951c1f3c79684b0a7f2ac310d9ad7294ef 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 5ddbe12f1f010e37d693c2f8ba46468460c78fd8..95fe2c03c328fdf20a227d1b0fed9f8c299d08da 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 4bb6df79f10b05a508d7e720da5254d8a5409e9b..553cb2721c64f118dfc2fb99574b9fb15becf0fc 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdlib.h>
@@ -40,6 +41,7 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Require use of a third party loader binary
index 5d0e69d6ba7eafc68f6d1aaec7f974303b3a2ca9..c10ba1440a333580ce078930a258fe5e1c9fb251 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <errno.h>
 #include <ipxe/uaccess.h>
index 86ad87bde6637d3101f04b13164dd14668441671..dad8b33dfbc0c24e01067043d08aa50fdf5167fd 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <string.h>
index 8b65c8a7882d03792aa0ba619fbabe8592ca8bda..25287673ab3e6afe5e6670bd0d56a10d4446e877 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 765b23ca63b5d088178eae8c35cd656e2c6978de..3dae22e4199b88eb91943830715f14bf016cbef4 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdarg.h>
index 3c3f35a4bbfbc31dfe426c55cc5c5de2516fa956..da5966a1398f9fb5589103acd395f72efc711387 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <assert.h>
 #include <errno.h>
index 983a0ef5c4c3743745c83d2abc96a654f9325e1b..a4c77da20558bb88ce4499a56f1df9d683eb0d6b 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 6427eb1d82bc94617b261177a627611ddcd31f63..ffb899c8650e55cb2b82a6ee515dc7a5a2f8dc67 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 419d9b2949c21d0d56f42e3f081360cd3baf77aa..257b27becd70be9575de667329362c7bd9be0f90 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 51da06172ae4938d660270a6571aa5011a3231ae..a7008afd466d263b2081e142e5dda559b3a4f36f 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <string.h>
index da585db6046c3ef09fb78032386b0509e56b5761..788515dd1337bce7ff5d11c0a445b69a3d83e370 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <stdlib.h>
index dcc9a56680368205b917676cda0eb790204f2961..5e4eb626c79bf31b5328ef91c6075fb7a74f869b 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 320a32f0243aaa6de5c8529d8e54c196e43a08b6..572d05aac4585d776e64663202c996406b2745a3 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 64122185aa9a562d1a267c764ddfe609eb087032..3c095afdcb9e6f0e1c29ccd62359c79a37ea243f 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <errno.h>
index 3a1a98b17bcb2d13d30fe91d9dc55d007eaa60b0..a23d9bfa2c2af84a7637c99074efb6203c5e2458 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index 6358a470991a6d0eabccf60bfd6f30e96323fb87..d0ef49d5f2f82932f1f7ebc0baafca054f281941 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index b484bdd338e3bb09bebb7fbad7c974019ef67a33..edeb818673c267c49c080427b272bfaa210c940c 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <string.h>
index c9b4109a978a6777ea6495b24b1a23e38eb9e61d..2bf3c12ecae0827cd6d673cc10bfe7f60a6c107e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index cdb632b462eeeab5080a5afa43174ffbd61298a3..844a94d624ae17300066796ce471bdc166697a84 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 4e64f85e4ad5c395016b939d62ae7142f3153a60..a9b454695bc88d831d9e5a71ed5ed6d2b64a5162 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 87327d7235f013646d78048ac280e430903031a0..040566b57998784da1553ba469119beafc2cefde 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <errno.h>
index 0664174f96e44605848640200aa9135601f5e8dd..1e263c8ec46758b259fd5e73de17193c37587316 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <string.h>
index 0c573d19800e2f2d03ba6f7bbebca041e5209ff4..d83d63386ba2999c4773bc76a7801cd209772273 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <assert.h>
index 1103a49f303af3b216f960f5cdd5e9e439635b40..fb4e0d972814ff25823fd87d0ff08f7615f65fa9 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <string.h>
index 3fcdafe6deac34d68bc7439208e105011a3d004f..60219b98f0350721ca908dae6b37d25927124189 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 009b12c56a956e92ba768fe7e0c2bf3de465bcd2..0020d822553a7be5a0a254698374b1eef930289d 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 781b9bc60c79d17246d3b7e6c0ce1f67594473af..4976167ed97c003fb3bc97c2ce01b7b8677d6293 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 5371277e4717d60c716f2f1c1f6ff405325a4c6b..740b42440488a0276712ed875993207115e795d6 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <byteswap.h>
index 0858ff37f0a91236d0ea29ffcef075fc23c078c3..ffcc4b375bd545e23c962c713d4fb2b1463edd32 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 8555aaf0b50894d652e76a1acaad1355a363e368..5331b81e8097ca309900936af70104939fed581e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index 936b4bde4184729e3319b5cf68a9984e02ee5db0..6366efb5ef977391a4deee618207e71cb571c9ed 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 21abfccec068744a415d6cfdb3e8c33f347f70c4..f3dd443847bd474ccad4b91c9b3db9edd7ba488f 100644 (file)
@@ -49,6 +49,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /* Unique IP datagram identification number (high byte) */
 static uint8_t next_ident_high = 0;
index b12d6577ec0ef3d427b9b4e5a327f7106cb8c1ce..7e908dd2aeeddbb6ac3bc362252b33cb2ea68b87 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdio.h>
index 2b707c874b92f1b72f2be1ab2fdd7c0c0f10e77b..d0e990f23d5cc21224b6d9585e2929c4b9eb8d9c 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 3c555f4a327e3b8e96485dc32a05857ac2f70927..6d96270c16f3d4f1fdc406dc8d4bc9b8ba9170c6 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <stdio.h>
index ac79041e3b5cf7b45870ee2a2015c51ce3bdb6cd..fa8fba5cd8550ae9f7490e28882c3abfac3e82b4 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 90b804c6c29881cbb41014988ae03de73d8a4db5..8bc8ce57b06c5bb6933056c411a5de56402ac05f 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <errno.h>
index c89585708927db3eb92f93aaf269898d6e278c79..0af916ff5c2fe9bde7df4386af0a5504bd20a442 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 2948b38c0058e221a2e5ea6a9a2ce1e3f867fd46..c665b203a80323d0efccbb91c6680e425e95c936 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <errno.h>
index 734567be571b86a45f3f13246c69d88059ebd6ba..c13ecb6b1c45937d498c5527407bbda5104b421a 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <ipxe/timer.h>
index 2009ab237909e2fe3ada8ff317a17e42da3424db..6fed73128a0cdd82ccdc806d2fe5f36e4fd85083 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <errno.h>
index 3d78400af5798789016b570941040be791d02f28..d1b0d4862037a847c477cb17184b49a088dc5c86 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <errno.h>
 #include <byteswap.h>
index 2e52cf480f79ec674875165748ceedfafe208c19..f08db5250682d38a8881aa8cfcae5f7dc8903300 100644 (file)
@@ -28,6 +28,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** A TCP connection */
 struct tcp_connection {
index b000ed80f9e6872ce3248155954d666a7ecaee98..16cfd035eb44e9ade728b3aa71f8d6d2be3e14a6 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 2c57e3d4810011cf2a8a36cdb0471678facedba7..d682c5f8f0992a748cacabe8aa49281a41b5eb26 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 52a67063d91d3aae0bcbb3ce7db1811dcc5c3fc9..4dffc7e0f4464ca592303ee9d587e8dfa207f119 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 8eff1942c2b5623443bedf3ef664affca4d9b39e..14398869e50a7feceb835d9e38d2039101751061 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 538c4dcf6e5a94788f012a32f41532a9dd4d5b88..4b99209f05fcc1e2f3019de6f15ed79fc497140c 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 8fee0421ca30dfb765ce1def8323cbfac6ec22fa..912bea407241330a7635b257478917bc38ecfb33 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index 4074078c735cc0728a631da130933e31cf5d6087..8ff6dbfa5a4cce8c32d750a4ac865cf396b54991 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @file
index b7b33a51a68fc1726043a3ce19e4e322d2253184..0d1f0f645a2d2cc45f3fe68865aa78d1fd8c89cb 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <string.h>
index cc7d02005024bc4b8e4a7fa62ef982e649e51768..5ed3d68a9c4cbca5311c5d162c7ae27e7534ff74 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Process a received TCP/IP packet
index 2c0b343dcce46e0b84ee1f3a2d8615ef9d3d65cf..41aba2fca78021f9bbeb05686043ae2294a33a38 100644 (file)
@@ -18,6 +18,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * A UDP connection
index daa37b96beddb8ae94b22304ae2c4ef44acdebc7..59b7c663d24aea75dfdc68224ab00033624ec7c7 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdlib.h>
index a49109894184287cbbbf6d048ed33057490f4903..43a569d6e81af8083f0ff5d225abcd4dcd984d38 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdlib.h>
 #include <stdio.h>
index f46eeb5c8bd8e466595f99adbbd34a4c47dead79..3f534b99f7c2f1f78e92839d0a53384b06509c1b 100644 (file)
@@ -25,6 +25,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index 2ee01862ab23d488d5c1ae3d407abe8d9b4c0193..760af10e9e502eca89686bf93b6ea84e0b0272a2 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index c61bb850e8d5214eabb13fcdd3cc8aadd94ef75b..f7697a9be03d228b6da1b5c06eeeaf5d7ffa4971 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>
index 4b64ca82b5887945814cfac0b8ed16cb86aabcfb..3d46e65e090a4d45636e837cb7333794cf4954ea 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdio.h>
index dcb360b236d187f7f6cdd4c21a81b02b837b787d..2a0a8c718e25d74e1f2b5fc19ae0e4c52f61bae2 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdio.h>
index d87ffff27872636e48b61bb5f00123687189bf01..80f350ee49a15312e6b885ed893d9e8e73a024b0 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 #include <stdio.h>
index 65b52fd3aded3331acbefd121e9a186c3bb48d7c..bad056f0ea8f825232752f74ea3fcf86199fab94 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <stdlib.h>
index fca0a157cfc3e8fa4ef0fff8fbd2f75bc962275a..ea233e2edbef60fd8d288f32055da9d7e5e9e2e7 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *
index 690ba3b6b7ec397a51e2578d3c041bdfc3e6dd14..77c68eeb39ad6278cb16fd1998c1c848e5fba852 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/netdevice.h>
 #include <usr/route.h>
index f79c0ad8f45bc4b09a7b5ce1a98d35f14db09e38..21b0820da07392aad44c3382c20539f80503ba88 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <ipxe/netdevice.h>
index 9e94b4a151f67328e51c104e9430f3698e3ac729..9d773ec60a23073612eb2ee3b0a7452afd4e0d58 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdio.h>
 #include <ipxe/netdevice.h>
index 6ac1ac35e7b4e19bc246696d3e5e357e9122a9ea..fb063ad5101a77bb475073f27ce9b7a4b5241057 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/efi/efi.h>
 #include <ipxe/efi/efi_shim.h>
index f599588ae205c5eb3251d33de4a4b9dec3fe46fd..1e740bd4c5d287282bb2f339fb80a336aa7a148e 100644 (file)
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stddef.h>
 #include <ipxe/job.h>