tool: add licenses

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · May 22, 2024 · 8890e2f · 8890e2f
1 parent 390369e
commit 8890e2f
Show file tree

Hide file tree

Showing 10 changed files with 63 additions and 0 deletions.
diff --git a/.reuse/dep5 b/.reuse/dep5
@@ -0,0 +1,9 @@
+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
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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 {