diff --git a/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S b/crates/sel4-kernel-loader/asm/aarch64/exception_handler.S
index 192b186d6..8e695bbc4 100644
--- 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
index df1aab1df..7cf18f6e5 100644
--- 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
index e3a57cb4f..08cfd9bd5 100644
--- 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
index 66726ab8c..806deba77 100644
--- 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
index 02fe595e5..5b797b06b 100644
--- 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
index c24100b11..bd9c8af17 100644
--- 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
index e6102eb02..0328901ff 100644
--- 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
index fa6f293c2..aa19944bd 100644
--- 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 <nick.spinale@coliasgroup.com>
+ * Copyright 2023, Colias Group, LLC
  *
  * SPDX-License-Identifier: GPL-2.0-only
  */