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

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

diff --git a/src/arch/riscv/core/riscv_string.c b/src/arch/riscv/core/riscv_string.c
index e28dc8951e947907a18a6542c521b10dc41ef527..f44a23625c26c4759122a17bccd8ff33cc4b3c7a 100644 (file)
--- a/src/arch/riscv/core/riscv_string.c
+++ b/src/arch/riscv/core/riscv_string.c
@@ -28,6 +28,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <string.h>
 

diff --git a/src/arch/riscv/core/riscv_strings.S b/src/arch/riscv/core/riscv_strings.S
index eb1b397b91864f2ab7770711809a5220fe578225..fc69f29938ed74eeb49d081bb5fd8208739c0f6e 100644 (file)
--- a/src/arch/riscv/core/riscv_strings.S
+++ b/src/arch/riscv/core/riscv_strings.S
@@ -22,6 +22,7 @@
  */
 
        FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )
+       FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *

diff --git a/src/arch/riscv/core/riscv_tcpip.S b/src/arch/riscv/core/riscv_tcpip.S
index 8c3e90ba64bca2366064bbe2b30f39b0d443e731..f7d8e6a9ddd12f85b841765ce60ce0a440ebd1b8 100644 (file)
--- a/src/arch/riscv/core/riscv_tcpip.S
+++ b/src/arch/riscv/core/riscv_tcpip.S
@@ -22,6 +22,7 @@
  */
 
        FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )
+       FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *

diff --git a/src/arch/riscv/include/bits/bigint.h b/src/arch/riscv/include/bits/bigint.h
index 7f87d9748da31ed475193ec36951d25699ee5fc4..89718f3ebdb58e2a799b1e7e7ac6c4b7a67e1f08 100644 (file)
--- a/src/arch/riscv/include/bits/bigint.h
+++ b/src/arch/riscv/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/riscv/include/bits/byteswap.h b/src/arch/riscv/include/bits/byteswap.h
index 56d03f64e17e970f96697dbb3df1cbcdfc6c94b2..7d0e2aec220fc0b2a9127ac22eaa390d93b72bbd 100644 (file)
--- a/src/arch/riscv/include/bits/byteswap.h
+++ b/src/arch/riscv/include/bits/byteswap.h
@@ -10,6 +10,7 @@
 #include <stdint.h>
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern __asmcall uint64_t riscv_swap_word ( uint64_t x );
 extern __asmcall unsigned long riscv_swap_half ( unsigned long x );

diff --git a/src/arch/riscv/include/bits/compiler.h b/src/arch/riscv/include/bits/compiler.h
index 624a16108f8aa6f23ac169ba4121f1f43b592fec..c93ca303c8f703eece75053bdb9fe4f8fd96beb8 100644 (file)
--- a/src/arch/riscv/include/bits/compiler.h
+++ b/src/arch/riscv/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_RISCV_NONE

diff --git a/src/arch/riscv/include/bits/dma.h b/src/arch/riscv/include/bits/dma.h
index f7decd14cd925b8bf766ebec53d721ac133d5c04..e3af502d6474295248f31ecb88abb31ad452b20f 100644 (file)
--- a/src/arch/riscv/include/bits/dma.h
+++ b/src/arch/riscv/include/bits/dma.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/riscv_dma.h>
 

diff --git a/src/arch/riscv/include/bits/endian.h b/src/arch/riscv/include/bits/endian.h
index 85718cfdd33b82d1cc2526438ffbb747ff6d555f..72279117dfa919c4e476d0102a1f667e81f196c9 100644 (file)
--- a/src/arch/riscv/include/bits/endian.h
+++ b/src/arch/riscv/include/bits/endian.h
@@ -2,6 +2,7 @@
 #define _BITS_ENDIAN_H
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #define __BYTE_ORDER __LITTLE_ENDIAN
 

diff --git a/src/arch/riscv/include/bits/errfile.h b/src/arch/riscv/include/bits/errfile.h
index bdd2927a4ba09c1e232c6cb612dd5dd8b0eb672e..2e360406f8e3587bd453938ab3ce502b33f0d77a 100644 (file)
--- a/src/arch/riscv/include/bits/errfile.h
+++ b/src/arch/riscv/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/riscv/include/bits/io.h b/src/arch/riscv/include/bits/io.h
index 4296e318a0480cfc472ee37b47287da03ad01f84..6c6a80495747507ac9d5cf19fe3862d6241d3b78 100644 (file)
--- a/src/arch/riscv/include/bits/io.h
+++ b/src/arch/riscv/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/riscv/include/bits/iomap.h b/src/arch/riscv/include/bits/iomap.h
index fd8e378258074e9ce5107975c9e39945407fee39..2381105ab46113813958a8d8b228c131b3aa729c 100644 (file)
--- a/src/arch/riscv/include/bits/iomap.h
+++ b/src/arch/riscv/include/bits/iomap.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/svpage.h>
 

diff --git a/src/arch/riscv/include/bits/nap.h b/src/arch/riscv/include/bits/nap.h
index 331399f46f1408b1e6321f7d58ee76cb5137b76c..a609e95a26ad6cd58d7ba2c05f8331e4e03386d7 100644 (file)
--- a/src/arch/riscv/include/bits/nap.h
+++ b/src/arch/riscv/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/riscv/include/bits/profile.h b/src/arch/riscv/include/bits/profile.h
index e9e003dab5d8b409ce22f185a33f61ff4380db11..323e7962f68059c1ea29a40572365cdb4db44da4 100644 (file)
--- a/src/arch/riscv/include/bits/profile.h
+++ b/src/arch/riscv/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/riscv/include/bits/reboot.h b/src/arch/riscv/include/bits/reboot.h
index 01272483b8c10f9168b83735cf81490fc0b3d9e4..ecae04630bf056db849689a75a8d17eb73010b69 100644 (file)
--- a/src/arch/riscv/include/bits/reboot.h
+++ b/src/arch/riscv/include/bits/reboot.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <ipxe/sbi_reboot.h>
 

diff --git a/src/arch/riscv/include/bits/stdint.h b/src/arch/riscv/include/bits/stdint.h
index fe1f9946a54afb53ba728c1c2ffbab0a93650fd1..e75bed50230f6251dcf50b9ddaa09466a51fd0db 100644 (file)
--- a/src/arch/riscv/include/bits/stdint.h
+++ b/src/arch/riscv/include/bits/stdint.h
@@ -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;

diff --git a/src/arch/riscv/include/bits/string.h b/src/arch/riscv/include/bits/string.h
index 87834d91af49279dab596e28e7aeeda20e12085b..41820e4f62dddc4a1bea31b827f9b23ad4420e9e 100644 (file)
--- a/src/arch/riscv/include/bits/string.h
+++ b/src/arch/riscv/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/riscv/include/bits/strings.h b/src/arch/riscv/include/bits/strings.h
index dd6d458b20c1ae474c2b17dcd6d25c56997241ef..439090ae3aefd7e34721ddd7f9ab19a3e6b441ff 100644 (file)
--- a/src/arch/riscv/include/bits/strings.h
+++ b/src/arch/riscv/include/bits/strings.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 extern __asmcall unsigned long riscv_ffs ( unsigned long value );
 extern __asmcall unsigned long riscv_fls ( unsigned long value );

diff --git a/src/arch/riscv/include/bits/tcpip.h b/src/arch/riscv/include/bits/tcpip.h
index 0ac55b1a015e87c4ee1019ac9c4eedcbf22cb7c7..52d03242744108ea17bb833de4831c0321b89d2c 100644 (file)
--- a/src/arch/riscv/include/bits/tcpip.h
+++ b/src/arch/riscv/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 partial, const void *data,
                                        size_t len );

diff --git a/src/arch/riscv/include/bits/virt_offset.h b/src/arch/riscv/include/bits/virt_offset.h
index 83ac175514def7d5fb41210dc509d4308bf4b54d..e391bb6712627982f2d5042a9bb0f18d5f1cc3f4 100644 (file)
--- a/src/arch/riscv/include/bits/virt_offset.h
+++ b/src/arch/riscv/include/bits/virt_offset.h
@@ -13,6 +13,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 /**
  * Read virtual address offset held in thread pointer register

diff --git a/src/arch/riscv/include/ipxe/riscv_dma.h b/src/arch/riscv/include/ipxe/riscv_dma.h
index d35904d88b7bc41aebe5a38941d697d740d32170..9ae269deb4b72b1ff0aaa011add1717fa7e35082 100644 (file)
--- a/src/arch/riscv/include/ipxe/riscv_dma.h
+++ b/src/arch/riscv/include/ipxe/riscv_dma.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef DMAAPI_RISCV
 #define DMAAPI_PREFIX_riscv

diff --git a/src/arch/riscv/include/ipxe/riscv_io.h b/src/arch/riscv/include/ipxe/riscv_io.h
index 539dbd7ed9364ddb8b22b6156768fd64dca340ef..83f91a102ea468121738886760d30f24eca4c86f 100644 (file)
--- a/src/arch/riscv/include/ipxe/riscv_io.h
+++ b/src/arch/riscv/include/ipxe/riscv_io.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef IOAPI_RISCV
 #define IOAPI_PREFIX_riscv

diff --git a/src/arch/riscv/include/ipxe/sbi_reboot.h b/src/arch/riscv/include/ipxe/sbi_reboot.h
index e8d6e82bfab2e61f14a9f1b9e2636ccbba56accf..f517f0313990ab2622a59ce207fb8847e8224e87 100644 (file)
--- a/src/arch/riscv/include/ipxe/sbi_reboot.h
+++ b/src/arch/riscv/include/ipxe/sbi_reboot.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #ifdef REBOOT_SBI
 #define REBOOT_PREFIX_sbi

diff --git a/src/arch/riscv/include/ipxe/svpage.h b/src/arch/riscv/include/ipxe/svpage.h
index 897a3379a66effaa6ec3d0085da20eeb9cac3d3c..e194ea62b4268566c8c152d17c461a8cd2fb5c15 100644 (file)
--- a/src/arch/riscv/include/ipxe/svpage.h
+++ b/src/arch/riscv/include/ipxe/svpage.h
@@ -8,6 +8,7 @@
  */
 
 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
 
 #include <stdint.h>
 

diff --git a/src/arch/riscv64/core/riscv64_byteswap.S b/src/arch/riscv64/core/riscv64_byteswap.S
index ec2b0b9ddb798c16352b148bdfec508537d6e9c3..99ad3635de7721802488ab24ab2f4c6184b6ee11 100644 (file)
--- a/src/arch/riscv64/core/riscv64_byteswap.S
+++ b/src/arch/riscv64/core/riscv64_byteswap.S
@@ -22,6 +22,7 @@
  */
 
        FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL )
+       FILE_SECBOOT ( PERMITTED );
 
 /** @file
  *

diff --git a/src/arch/riscv64/include/ipxe/efi/dhcparch.h b/src/arch/riscv64/include/ipxe/efi/dhcparch.h
index 33bca044e0f7877f1c854c6385164be91438465f..fbd7d9c03a9701d3a86a6e1c4368a6ca7a3d0a50 100644 (file)
--- a/src/arch/riscv64/include/ipxe/efi/dhcparch.h
+++ b/src/arch/riscv64/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/riscv64/include/limits.h b/src/arch/riscv64/include/limits.h
index a1374a17ffbd376ebb17a7ca82ed17298bfa3111..e75461acb358738d4202a8d1f8bb3d4b0fbdc53b 100644 (file)
--- a/src/arch/riscv64/include/limits.h
+++ b/src/arch/riscv64/include/limits.h
@@ -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

diff --git a/src/libgcc/implicit.c b/src/libgcc/implicit.c
index 645ae6d22597aff51846befc5ca71303344f130d..d8c1f75f3d8383e4bec9d05a12dab28ea7f605ff 100644 (file)
--- a/src/libgcc/implicit.c
+++ b/src/libgcc/implicit.c
@@ -9,6 +9,9 @@
  *
  */
 
+FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
+FILE_SECBOOT ( PERMITTED );
+
 #include <string.h>
 
 void * gcc_implicit_memcpy ( void *dest, const void *src,