From 8890e2fa47a1f374ab47e7402622051f54433a88 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Wed, 22 May 2024 10:56:52 +1000 Subject: [PATCH] tool: add licenses Signed-off-by: Ivan Velickovic --- .reuse/dep5 | 9 +++++++++ tool/microkit/Cargo.toml | 6 ++++++ tool/microkit/src/elf.rs | 6 ++++++ tool/microkit/src/lib.rs | 6 ++++++ tool/microkit/src/loader.rs | 6 ++++++ tool/microkit/src/main.rs | 6 ++++++ tool/microkit/src/sel4.rs | 6 ++++++ tool/microkit/src/sysxml.rs | 6 ++++++ tool/microkit/src/util.rs | 6 ++++++ tool/microkit/tests/test.rs | 6 ++++++ 10 files changed, 63 insertions(+) create mode 100644 .reuse/dep5 diff --git a/.reuse/dep5 b/.reuse/dep5 new file mode 100644 index 00000000..e896cafc --- /dev/null +++ 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 +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 b6f08b4a..99e82109 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 7d78c5db..69c264f0 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 265d6281..05097a3c 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 bbbf4ddc..87bc20cf 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 a73e130e..b0f17db7 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 9490249f..9fbfd141 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 13cca335..150916e3 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 a7761148..62e2023c 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 8857b418..f281962c 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 {