[build] Mark core arm64 files as permitted for UEFI Secure Boot

Signed-off-by: Michael Brown <mcb30@ipxe.org>

diff --git a/src/arch/arm/include/bits/endian.h b/src/arch/arm/include/bits/endian.h
index 4506711adee3fab33c1fb1e1d19f167dd41e616a..ab8e2ef9d45dae2e23e421f0049acd31895fbd8e 100644 (file)
--- a/src/arch/arm/include/bits/endian.h
+++ b/src/arch/arm/include/bits/endian.h
@@ -2,6 +2,7 @@
 #define _BITS_ENDIAN_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /* ARM may be either little-endian or big-endian */
 #ifdef __ARM_BIG_ENDIAN

diff --git a/src/arch/arm/include/bits/errfile.h b/src/arch/arm/include/bits/errfile.h
index 65f7f719baae6ec1647e94dcba1e79cfee62565c..251e3682f4fe117e1fa0bd2bab14cdad43f91d71 100644 (file)
--- a/src/arch/arm/include/bits/errfile.h
+++ b/src/arch/arm/include/bits/errfile.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * @addtogroup errfile Error file identifiers

diff --git a/src/arch/arm/include/bits/io.h b/src/arch/arm/include/bits/io.h
index 272ec12bfb9544c9a3841f3b4d0c78395012ac80..316e644c299aaef13983ba49a860f9997ce68d89 100644 (file)
--- a/src/arch/arm/include/bits/io.h
+++ b/src/arch/arm/include/bits/io.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** Page shift */
 #define PAGE_SHIFT 12

diff --git a/src/arch/arm/include/bits/nap.h b/src/arch/arm/include/bits/nap.h
index dbdf3716614ccac7c571d992c3d4cb09ab0460e9..ff20a32523ae5be726ad6cc87ef044ad01bbe22e 100644 (file)
--- a/src/arch/arm/include/bits/nap.h
+++ b/src/arch/arm/include/bits/nap.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Sleep until next CPU interrupt

diff --git a/src/arch/arm/include/bits/xen.h b/src/arch/arm/include/bits/xen.h
index 34f647903e95f27c0d3bcefadded1844ac2735ad..33183aaa61d65b5346da420d3c2f54f92510ce62 100644 (file)
--- a/src/arch/arm/include/bits/xen.h
+++ b/src/arch/arm/include/bits/xen.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /* Hypercall registers */
 #ifdef __aarch64__

diff --git a/src/arch/arm/include/ipxe/arm_io.h b/src/arch/arm/include/ipxe/arm_io.h
index 7ed38993d51e6098eeea63543c676ed5113b754b..57e131edb4eb7372a51de8dbabe5b785229f893d 100644 (file)
--- a/src/arch/arm/include/ipxe/arm_io.h
+++ b/src/arch/arm/include/ipxe/arm_io.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef IOAPI_ARM
 #define IOAPI_PREFIX_arm

diff --git a/src/arch/arm64/core/arm64_string.c b/src/arch/arm64/core/arm64_string.c
index 07a7eefdfc8c44507c697a6cc5054165cb6e44a3..cdcd3aa2be8578442e5851bda33335ce758c402f 100644 (file)
--- a/src/arch/arm64/core/arm64_string.c
+++ b/src/arch/arm64/core/arm64_string.c
@@ -28,6 +28,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 

diff --git a/src/arch/arm64/core/arm64_tcpip.c b/src/arch/arm64/core/arm64_tcpip.c
index 0ef04ea42b15858bd851d9c296a82e1f8de20399..d89b3b74034049fa9853303a5d876f0e441e19da 100644 (file)
--- a/src/arch/arm64/core/arm64_tcpip.c
+++ b/src/arch/arm64/core/arm64_tcpip.c
@@ -22,6 +22,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *

diff --git a/src/arch/arm64/include/bits/bigint.h b/src/arch/arm64/include/bits/bigint.h
index f4032e335e1f8d938f0540be50405f95014a5f83..a4c351c9360749d02bb1af2e72d4090d23bb5151 100644 (file)
--- a/src/arch/arm64/include/bits/bigint.h
+++ b/src/arch/arm64/include/bits/bigint.h
@@ -7,6 +7,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 #include <string.h>

diff --git a/src/arch/arm64/include/bits/bitops.h b/src/arch/arm64/include/bits/bitops.h
index 4350f622aa58e8ec530304e6d98e6acfd30fc825..343b7c47eb274efa641e585e3be2df0103786115 100644 (file)
--- a/src/arch/arm64/include/bits/bitops.h
+++ b/src/arch/arm64/include/bits/bitops.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 

diff --git a/src/arch/arm64/include/bits/byteswap.h b/src/arch/arm64/include/bits/byteswap.h
index 169d6c20e2ad4f9f6ad55c96feb3e5c66dd297c3..2b78d387b4b7a3ba7b84cfd54dbab04b55aa8d9f 100644 (file)
--- a/src/arch/arm64/include/bits/byteswap.h
+++ b/src/arch/arm64/include/bits/byteswap.h
@@ -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 ) {

diff --git a/src/arch/arm64/include/bits/compiler.h b/src/arch/arm64/include/bits/compiler.h
index b3e1b30a5721e709e11a55d9078a0af123f71fa1..69c05e5e7d8a5a49cc5957d75fdb24e5ae2f5e79 100644 (file)
--- a/src/arch/arm64/include/bits/compiler.h
+++ b/src/arch/arm64/include/bits/compiler.h
@@ -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_AARCH64_NULL

diff --git a/src/arch/arm64/include/bits/profile.h b/src/arch/arm64/include/bits/profile.h
index 4a5b3f7a157bd2009f0a6ecc93f96bde34045650..3031cfcc46833c117c40bba535f49cf9d3e165ec 100644 (file)
--- a/src/arch/arm64/include/bits/profile.h
+++ b/src/arch/arm64/include/bits/profile.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 

diff --git a/src/arch/arm64/include/bits/stdint.h b/src/arch/arm64/include/bits/stdint.h
index 9eb72e9c4f44d932d8ddd01efd6bb9e1ee297f79..ae14face0808226fc5a3d5adef0d44b7792504fd 100644 (file)
--- a/src/arch/arm64/include/bits/stdint.h
+++ b/src/arch/arm64/include/bits/stdint.h
@@ -1,6 +1,8 @@
 #ifndef _BITS_STDINT_H
 #define _BITS_STDINT_H
 
+FILE_SECBOOT ( PERMITTED );
+
 typedef __SIZE_TYPE__          size_t;
 typedef signed long            ssize_t;
 typedef signed long            off_t;

diff --git a/src/arch/arm64/include/bits/string.h b/src/arch/arm64/include/bits/string.h
index c05fbe346f279a0ca32df02e7327e74e460a83e2..71898d24f71c87e8da85f7f506106b0814a41a13 100644 (file)
--- a/src/arch/arm64/include/bits/string.h
+++ b/src/arch/arm64/include/bits/string.h
@@ -2,6 +2,7 @@
 #define BITS_STRING_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *

diff --git a/src/arch/arm64/include/bits/strings.h b/src/arch/arm64/include/bits/strings.h
index d5340f4849f650827a5f608fa0e29792465a9835..79286998a3cc6cd4e4a9a056e93ff62aeb12c9cc 100644 (file)
--- a/src/arch/arm64/include/bits/strings.h
+++ b/src/arch/arm64/include/bits/strings.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Find first (i.e. least significant) set bit

diff --git a/src/arch/arm64/include/bits/tcpip.h b/src/arch/arm64/include/bits/tcpip.h
index 68686534ece670d2518d3266568d35d4d84aea5c..f6ec6f29816eb4251cf22f54f9ebe8f261169a89 100644 (file)
--- a/src/arch/arm64/include/bits/tcpip.h
+++ b/src/arch/arm64/include/bits/tcpip.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern uint16_t tcpip_continue_chksum ( uint16_t sum, const void *data,
                                        size_t len );

diff --git a/src/arch/arm64/include/ipxe/efi/dhcparch.h b/src/arch/arm64/include/ipxe/efi/dhcparch.h
index 21d5a881bf0b2b7110d1d809ccbb4a021863abbe..b04034597fe9de97d45bac378bb50d72fff3e3fa 100644 (file)
--- a/src/arch/arm64/include/ipxe/efi/dhcparch.h
+++ b/src/arch/arm64/include/ipxe/efi/dhcparch.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/dhcp.h>
 

diff --git a/src/arch/arm64/include/limits.h b/src/arch/arm64/include/limits.h
index 8cf87b47132fe4dd65e47e9a0fce7a219bbecd1e..8f2387f3f6a41747a02be1a02bbe24a714a483fc 100644 (file)
--- a/src/arch/arm64/include/limits.h
+++ b/src/arch/arm64/include/limits.h
@@ -1,6 +1,8 @@
 #ifndef LIMITS_H
 #define LIMITS_H       1
 
+FILE_SECBOOT ( PERMITTED );
+
 /* Number of bits in a `char' */
 #define CHAR_BIT       8
 

diff --git a/src/include/ipxe/dummy_pio.h b/src/include/ipxe/dummy_pio.h
index 7c80cdf3544088ec664ce83eeb1c5645ea02b1a7..b6138422b14e9cc044e45be1ea06035491cb43d6 100644 (file)
--- a/src/include/ipxe/dummy_pio.h
+++ b/src/include/ipxe/dummy_pio.h
@@ -12,6 +12,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>