diff --git a/.reuse/dep5 b/.reuse/dep5
new file mode 100644
index 000000000..b0aa7f4e6
--- /dev/null
+++ b/.reuse/dep5
@@ -0,0 +1,10 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: seL4
+Upstream-Contact: seL4 team <support@sel4.systems>
+Source: http://sel4.systems
+
+Files:
+  tool/microkit/Cargo.lock
+Copyright: 2024, UNSW
+License: BSD-2-Clause
+
diff --git a/tool/microkit/Cargo.toml b/tool/microkit/Cargo.toml
index b6f08b4ae..99e821098 100644
--- a/tool/microkit/Cargo.toml
+++ b/tool/microkit/Cargo.toml
@@ -1,3 +1,9 @@
+#
+# Copyright 2024, UNSW
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 [package]
 name = "microkit-tool"
 version = "0.1.0"
diff --git a/tool/microkit/src/elf.rs b/tool/microkit/src/elf.rs
index 7d78c5db6..69c264f07 100644
--- a/tool/microkit/src/elf.rs
+++ b/tool/microkit/src/elf.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 use std::fs;
 use std::path::Path;
 use std::collections::HashMap;
diff --git a/tool/microkit/src/lib.rs b/tool/microkit/src/lib.rs
index 265d62812..05097a3ca 100644
--- a/tool/microkit/src/lib.rs
+++ b/tool/microkit/src/lib.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 pub mod elf;
 pub mod loader;
 pub mod sel4;
diff --git a/tool/microkit/src/loader.rs b/tool/microkit/src/loader.rs
index bbbf4ddc7..87bc20cf2 100644
--- a/tool/microkit/src/loader.rs
+++ b/tool/microkit/src/loader.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 use crate::{MemoryRegion};
 use crate::util::{round_up, mb, kb, mask, struct_to_bytes};
 use crate::elf::{ElfFile};
diff --git a/tool/microkit/src/main.rs b/tool/microkit/src/main.rs
index a73e130ec..b0f17db7f 100644
--- a/tool/microkit/src/main.rs
+++ b/tool/microkit/src/main.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 use std::collections::{HashMap, HashSet};
 use std::iter::zip;
 use std::fs;
diff --git a/tool/microkit/src/sel4.rs b/tool/microkit/src/sel4.rs
index 9490249f0..9fbfd1416 100644
--- a/tool/microkit/src/sel4.rs
+++ b/tool/microkit/src/sel4.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 use std::io::{Write, BufWriter};
 use std::collections::HashMap;
 use crate::UntypedObject;
diff --git a/tool/microkit/src/sysxml.rs b/tool/microkit/src/sysxml.rs
index 13cca335a..150916e30 100644
--- a/tool/microkit/src/sysxml.rs
+++ b/tool/microkit/src/sysxml.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 use std::path::{Path, PathBuf};
 use crate::util::{str_to_bool};
 use crate::sel4::{PageSize, ArmIrqTrigger, Config, Arch};
diff --git a/tool/microkit/src/util.rs b/tool/microkit/src/util.rs
index a77611481..62e2023cf 100644
--- a/tool/microkit/src/util.rs
+++ b/tool/microkit/src/util.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 use crate::sel4::Object;
 
 pub fn msb(x: u64) -> u64 {
diff --git a/tool/microkit/tests/test.rs b/tool/microkit/tests/test.rs
index 8857b418b..f281962c5 100644
--- a/tool/microkit/tests/test.rs
+++ b/tool/microkit/tests/test.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2024, UNSW
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 use microkit_tool::{sysxml, sel4};
 
 const DEFAULT_KERNEL_CONFIG: sel4::Config = sel4::Config {