tool: add licenses

Signed-off-by: Ivan Velickovic <[email protected]>

.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 <[email protected]>
+Source: http://sel4.systems
+
+Files:
+  tool/microkit/Cargo.lock
+Copyright: 2024, UNSW
+License: BSD-2-Clause
+

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"

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;

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;

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};

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;

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;

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};

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 {

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 {