crates/sel4: Add licensing information

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 24, 2023 · 3d775ad · 3d775ad
1 parent 5bf1a0a
commit 3d775ad
Show file tree

Hide file tree

Showing 56 changed files with 349 additions and 0 deletions.
diff --git a/crates/sel4/src/arch/arm/arch/aarch32/fault.rs b/crates/sel4/src/arch/arm/arch/aarch32/fault.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{fault::UnknownSyscall, Word};
 
 impl UnknownSyscall {

diff --git a/crates/sel4/src/arch/arm/arch/aarch32/mod.rs b/crates/sel4/src/arch/arm/arch/aarch32/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 mod fault;
 mod object;
 mod user_context;

diff --git a/crates/sel4/src/arch/arm/arch/aarch32/object.rs b/crates/sel4/src/arch/arm/arch/aarch32/object.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ffi::c_uint;
 
 use crate::{const_helpers::u32_into_usize, sys};

diff --git a/crates/sel4/src/arch/arm/arch/aarch32/user_context.rs b/crates/sel4/src/arch/arm/arch/aarch32/user_context.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{newtype_methods, sys, Word};
 
 /// Corresponds to `seL4_UserContext`.

diff --git a/crates/sel4/src/arch/arm/arch/aarch32/vcpu_reg.rs b/crates/sel4/src/arch/arm/arch/aarch32/vcpu_reg.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::sel4_cfg_enum;
 
 use crate::sys;

diff --git a/crates/sel4/src/arch/arm/arch/aarch64/fault.rs b/crates/sel4/src/arch/arm/arch/aarch64/fault.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{fault::UnknownSyscall, Word};
 
 impl UnknownSyscall {

diff --git a/crates/sel4/src/arch/arm/arch/aarch64/mod.rs b/crates/sel4/src/arch/arm/arch/aarch64/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 mod fault;
 mod object;
 mod user_context;

diff --git a/crates/sel4/src/arch/arm/arch/aarch64/object.rs b/crates/sel4/src/arch/arm/arch/aarch64/object.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ffi::c_uint;
 
 use crate::{const_helpers::u32_into_usize, sys};

diff --git a/crates/sel4/src/arch/arm/arch/aarch64/user_context.rs b/crates/sel4/src/arch/arm/arch/aarch64/user_context.rs
@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright (c) 2020 Arm Limited
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{newtype_methods, sys, Word};
 
 /// Corresponds to `seL4_UserContext`.

diff --git a/crates/sel4/src/arch/arm/arch/aarch64/vcpu_reg.rs b/crates/sel4/src/arch/arm/arch/aarch64/vcpu_reg.rs
@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright (c) 2020 Arm Limited
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::sel4_cfg_enum;
 
 use crate::sys;

diff --git a/crates/sel4/src/arch/arm/arch/mod.rs b/crates/sel4/src/arch/arm/arch/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::sel4_cfg;
 
 #[sel4_cfg(ARCH_AARCH64)]

diff --git a/crates/sel4/src/arch/arm/fault.rs b/crates/sel4/src/arch/arm/fault.rs
@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright (c) 2020 Arm Limited
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::{sel4_cfg, sel4_cfg_enum, sel4_cfg_if, sel4_cfg_match};
 
 use crate::{declare_fault_newtype, sys, Word};

diff --git a/crates/sel4/src/arch/arm/invocations.rs b/crates/sel4/src/arch/arm/invocations.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::sel4_cfg;
 
 use crate::{

diff --git a/crates/sel4/src/arch/arm/mod.rs b/crates/sel4/src/arch/arm/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::sys;
 
 mod arch;

diff --git a/crates/sel4/src/arch/arm/object.rs b/crates/sel4/src/arch/arm/object.rs
@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright (c) 2020 Arm Limited
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ffi::c_uint;
 
 use sel4_config::{sel4_cfg_enum, sel4_cfg_match};

diff --git a/crates/sel4/src/arch/arm/vm_attributes.rs b/crates/sel4/src/arch/arm/vm_attributes.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ops::{BitAnd, BitAndAssign, BitOr, BitOrAssign, Not};
 
 use crate::{newtype_methods, sys};

diff --git a/crates/sel4/src/arch/arm/vspace.rs b/crates/sel4/src/arch/arm/vspace.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::{sel4_cfg, sel4_cfg_enum, sel4_cfg_match};
 
 use crate::{cap_type, sys, FrameType, ObjectBlueprint, ObjectBlueprintArm, SizedFrameType};

diff --git a/crates/sel4/src/arch/mod.rs b/crates/sel4/src/arch/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::sel4_cfg;
 
 // [TODO]

diff --git a/crates/sel4/src/arch/riscv/fault.rs b/crates/sel4/src/arch/riscv/fault.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::{sel4_cfg, sel4_cfg_enum, sel4_cfg_match};
 
 use crate::{declare_fault_newtype, sys};

diff --git a/crates/sel4/src/arch/riscv/invocations.rs b/crates/sel4/src/arch/riscv/invocations.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{
     local_cptr::*, AbsoluteCPtr, CapRights, Error, FrameType, InvocationContext, LocalCPtr, Result,
     VMAttributes,

diff --git a/crates/sel4/src/arch/riscv/mod.rs b/crates/sel4/src/arch/riscv/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 mod invocations;
 mod object;
 mod user_context;

diff --git a/crates/sel4/src/arch/riscv/object.rs b/crates/sel4/src/arch/riscv/object.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ffi::c_uint;
 
 use sel4_config::{sel4_cfg_enum, sel4_cfg_match};

diff --git a/crates/sel4/src/arch/riscv/user_context.rs b/crates/sel4/src/arch/riscv/user_context.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{newtype_methods, sys, Word};
 
 /// Corresponds to `seL4_UserContext`.

diff --git a/crates/sel4/src/arch/riscv/vm_attributes.rs b/crates/sel4/src/arch/riscv/vm_attributes.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ops::{BitAnd, BitAndAssign, BitOr, BitOrAssign, Not};
 
 use crate::{newtype_methods, sys};

diff --git a/crates/sel4/src/arch/riscv/vspace.rs b/crates/sel4/src/arch/riscv/vspace.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 #[allow(unused_imports)]
 use crate::{cap_type, sys, FrameType, ObjectBlueprint, ObjectBlueprintRISCV, SizedFrameType};
 

diff --git a/crates/sel4/src/arch/x86/arch/mod.rs b/crates/sel4/src/arch/x86/arch/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::sel4_cfg;
 
 #[sel4_cfg(ARCH_X86_64)]

diff --git a/crates/sel4/src/arch/x86/arch/x64/invocations.rs b/crates/sel4/src/arch/x86/arch/x64/invocations.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{
     local_cptr::*, AbsoluteCPtr, CapRights, Error, FrameType, InvocationContext, LocalCPtr, Result,
     VMAttributes,

diff --git a/crates/sel4/src/arch/x86/arch/x64/mod.rs b/crates/sel4/src/arch/x86/arch/x64/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 mod invocations;
 mod object;
 mod user_context;

diff --git a/crates/sel4/src/arch/x86/arch/x64/object.rs b/crates/sel4/src/arch/x86/arch/x64/object.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ffi::c_uint;
 
 use crate::{const_helpers::u32_into_usize, sys};

diff --git a/crates/sel4/src/arch/x86/arch/x64/user_context.rs b/crates/sel4/src/arch/x86/arch/x64/user_context.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{newtype_methods, sys, Word};
 
 #[derive(Debug, Clone, PartialEq, Eq, Default)]

diff --git a/crates/sel4/src/arch/x86/arch/x64/vspace.rs b/crates/sel4/src/arch/x86/arch/x64/vspace.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{
     cap_type, sys, FrameType, ObjectBlueprint, ObjectBlueprintX64, ObjectBlueprintX86,
     SizedFrameType,

diff --git a/crates/sel4/src/arch/x86/fault.rs b/crates/sel4/src/arch/x86/fault.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::{sel4_cfg, sel4_cfg_enum, sel4_cfg_match};
 
 use crate::{declare_fault_newtype, sys};

diff --git a/crates/sel4/src/arch/x86/mod.rs b/crates/sel4/src/arch/x86/mod.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::sys;
 
 mod arch;

diff --git a/crates/sel4/src/arch/x86/object.rs b/crates/sel4/src/arch/x86/object.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ffi::c_uint;
 
 use crate::{

diff --git a/crates/sel4/src/arch/x86/vm_attributes.rs b/crates/sel4/src/arch/x86/vm_attributes.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use core::ops::{BitAnd, BitAndAssign, BitOr, BitOrAssign, Not};
 
 use crate::{newtype_methods, sys};

diff --git a/crates/sel4/src/benchmark.rs b/crates/sel4/src/benchmark.rs
@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright (c) 2020 Arm Limited
+//
+// SPDX-License-Identifier: MIT
+//
+
 use sel4_config::{
     sel4_cfg_if
 };

diff --git a/crates/sel4/src/bootinfo.rs b/crates/sel4/src/bootinfo.rs
@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright (c) 2020 Arm Limited
+//
+// SPDX-License-Identifier: MIT
+//
+
 #![allow(clippy::useless_conversion)]
 
 use core::mem;

diff --git a/crates/sel4/src/cap_rights.rs b/crates/sel4/src/cap_rights.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{newtype_methods, sys};
 
 /// Corresponds to `seL4_CapRights_t`.

diff --git a/crates/sel4/src/cnode_cap_data.rs b/crates/sel4/src/cnode_cap_data.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: MIT
+//
+
 use crate::{newtype_methods, sys, Word, WORD_SIZE};
 
 /// Corresponds to `seL4_CNode_CapData`.