crates/sel4-kernel-loader/asm: Add licensing information

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 21, 2023 · c111094 · c111094
1 parent 2885148
commit c111094
Show file tree

Hide file tree

Showing 8 changed files with 51 additions and 4 deletions.
diff --git a/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S b/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S
@@ -1,3 +1,9 @@
+/*
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
+
 #include "macros.h"
 
 .extern exception_handler

diff --git a/crates/sel4-kernel-loader/asm/aarch64/head.S b/crates/sel4-kernel-loader/asm/aarch64/head.S
@@ -1,3 +1,10 @@
+/*
+ * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: GPL-2.0-only
+ */
+
 #include "macros.h"
 #include "registers.h"
 #include "mm.h"

diff --git a/crates/sel4-kernel-loader/asm/aarch64/macros.h b/crates/sel4-kernel-loader/asm/aarch64/macros.h
@@ -1,3 +1,9 @@
+/*
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
+
 #define BEGIN_LOCAL_FUNC(_name) \
     .type _name, %function ; \
 _name:

diff --git a/crates/sel4-kernel-loader/asm/aarch64/mm.S b/crates/sel4-kernel-loader/asm/aarch64/mm.S
@@ -1,7 +1,14 @@
-#include "macros.h"
+/*
+ * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: GPL-2.0-only
+ *
+ * See:
+ * https://developer.arm.com/documentation/den0024/a/Caches/Cache-maintenance
+ */
 
-// Derived from:
-// https://developer.arm.com/documentation/den0024/a/Caches/Cache-maintenance
+#include "macros.h"
 
 .macro dcache op
     dsb     sy

diff --git a/crates/sel4-kernel-loader/asm/aarch64/mm.h b/crates/sel4-kernel-loader/asm/aarch64/mm.h
@@ -1,3 +1,10 @@
+/*
+ * Copyright 2014, General Dynamics C4 Systems
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: GPL-2.0-only
+ */
+
 #include "registers.h"
 
 #ifdef CONFIG_ARM_PA_SIZE_BITS_40

diff --git a/crates/sel4-kernel-loader/asm/aarch64/registers.h b/crates/sel4-kernel-loader/asm/aarch64/registers.h
@@ -1,3 +1,10 @@
+/*
+ * Copyright 2014, General Dynamics C4 Systems
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: GPL-2.0-only
+ */
+
 #define PSR_F_BIT         0x00000040
 #define PSR_I_BIT         0x00000080
 #define PSR_A_BIT         0x00000100

diff --git a/crates/sel4-kernel-loader/asm/aarch64/tail.S b/crates/sel4-kernel-loader/asm/aarch64/tail.S
@@ -1,3 +1,10 @@
+/*
+ * Copyright 2014, General Dynamics C4 Systems
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: GPL-2.0-only
+ */
+
 #include "macros.h"
 #include "registers.h"
 #include "mm.h"

diff --git a/crates/sel4-kernel-loader/asm/riscv/head.S b/crates/sel4-kernel-loader/asm/riscv/head.S
@@ -1,6 +1,6 @@
 /*
  * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
- * Copyright 2023, Nick Spinale <[email protected]>
+ * Copyright 2023, Colias Group, LLC
  *
  * SPDX-License-Identifier: GPL-2.0-only
  */