Add licensing information for some misc files

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 24, 2023 · e8bb459 · e8bb459
1 parent 31be4af
commit e8bb459
Show file tree

Hide file tree

Showing 14 changed files with 80 additions and 0 deletions.
diff --git a/crates/examples/microkit/banscii/banscii.system b/crates/examples/microkit/banscii/banscii.system
@@ -1,4 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>
+<!--
+     Copyright 2023, Colias Group, LLC
+
+     SPDX-License-Identifier: BSD-2-Clause
+-->
 <system>
 
     <memory_region name="pl011_mmio" size="0x1000" phys_addr="0x9000000" />

diff --git a/crates/examples/microkit/hello/hello.system b/crates/examples/microkit/hello/hello.system
@@ -1,4 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>
+<!--
+     Copyright 2023, Colias Group, LLC
+
+     SPDX-License-Identifier: BSD-2-Clause
+-->
 <system>
     <protection_domain name="hello" priority="254">
         <program_image path="microkit-hello.elf" />

diff --git a/crates/examples/microkit/http-server/http-server.system b/crates/examples/microkit/http-server/http-server.system
@@ -1,4 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>
+<!--
+     Copyright 2023, Colias Group, LLC
+
+     SPDX-License-Identifier: BSD-2-Clause
+-->
 <system>
     <memory_region name="sp804_mmio" size="0x1000" phys_addr="0x90d0000" />
 

diff --git a/crates/private/tests/capdl/threads/cdl.py b/crates/private/tests/capdl/threads/cdl.py
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 from capdl import ObjectType, Cap
 from capdl_simple_composition import BaseComposition, ElfComponent
 

diff --git a/crates/private/tests/capdl/utcover/cdl.py b/crates/private/tests/capdl/utcover/cdl.py
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 from capdl import ObjectType, Cap
 from capdl_simple_composition import BaseComposition, ElfComponent
 

diff --git a/crates/private/tests/microkit/passive-server-with-deferred-action/x.system b/crates/private/tests/microkit/passive-server-with-deferred-action/x.system
@@ -1,4 +1,9 @@
 <?xml version="1.0" encoding="UTF-8"?>
+<!--
+     Copyright 2023, Colias Group, LLC
+
+     SPDX-License-Identifier: BSD-2-Clause
+-->
 <system>
 
     <protection_domain name="client" priority="253">

diff --git a/crates/private/tests/root-task/c/cbits/test.c b/crates/private/tests/root-task/c/cbits/test.c
@@ -1,3 +1,9 @@
+/*
+ * Copyright 2023, Colias Group, LLC
+ *
+ * SPDX-License-Identifier: BSD-2-Clause
+ */
+
 #include <stdlib.h>
 
 int test(const char *s) {

diff --git a/crates/sel4/bitfield-parser/grammar.pest b/crates/sel4/bitfield-parser/grammar.pest
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 file = { SOI ~ (entity)* ~ EOI }
 
 entity = { base | block | tagged_union }

diff --git a/hacking/nix/cargo-manifest-generation-utils/nix-to-inline-toml.py b/hacking/nix/cargo-manifest-generation-utils/nix-to-inline-toml.py
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 import sys
 import json
 import toml

diff --git a/hacking/nix/scope/plat-utils/qemu/automate_simple.py b/hacking/nix/scope/plat-utils/qemu/automate_simple.py
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 import sys
 import argparse
 import pexpect

diff --git a/hacking/nix/scope/sel4test/automate.py b/hacking/nix/scope/sel4test/automate.py
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 import sys
 import argparse
 import pexpect

diff --git a/hacking/nix/scope/world/instances/microkit/banscii/automate.py b/hacking/nix/scope/world/instances/microkit/banscii/automate.py
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 import sys
 import argparse
 import pexpect

diff --git a/hacking/nix/scope/world/instances/microkit/http-server/automate.py b/hacking/nix/scope/world/instances/microkit/http-server/automate.py
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 import sys
 import time
 import argparse

diff --git a/hacking/other-tests/registry/src/lib.rs b/hacking/other-tests/registry/src/lib.rs
@@ -1,3 +1,9 @@
+//
+// Copyright 2023, Colias Group, LLC
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 #![no_std]
 
 use sel4;