From e8bb4597cb634134530a41b7bba944c9fda4d671 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Sat, 21 Oct 2023 11:06:55 +0000
Subject: [PATCH] Add licensing information for some misc files

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 crates/examples/microkit/banscii/banscii.system             | 5 +++++
 crates/examples/microkit/hello/hello.system                 | 5 +++++
 crates/examples/microkit/http-server/http-server.system     | 5 +++++
 crates/private/tests/capdl/threads/cdl.py                   | 6 ++++++
 crates/private/tests/capdl/utcover/cdl.py                   | 6 ++++++
 .../microkit/passive-server-with-deferred-action/x.system   | 5 +++++
 crates/private/tests/root-task/c/cbits/test.c               | 6 ++++++
 crates/sel4/bitfield-parser/grammar.pest                    | 6 ++++++
 .../cargo-manifest-generation-utils/nix-to-inline-toml.py   | 6 ++++++
 hacking/nix/scope/plat-utils/qemu/automate_simple.py        | 6 ++++++
 hacking/nix/scope/sel4test/automate.py                      | 6 ++++++
 .../nix/scope/world/instances/microkit/banscii/automate.py  | 6 ++++++
 .../scope/world/instances/microkit/http-server/automate.py  | 6 ++++++
 hacking/other-tests/registry/src/lib.rs                     | 6 ++++++
 14 files changed, 80 insertions(+)

diff --git a/crates/examples/microkit/banscii/banscii.system b/crates/examples/microkit/banscii/banscii.system
index e1e9169c7..6212de86f 100644
--- 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
index 85195eff7..f84121e25 100644
--- 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
index 854c32b8f..f8e8f9700 100644
--- 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
index 9428c96b0..b7e5f1853 100644
--- 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
index 8fd75f998..fdc70c124 100644
--- 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
index 34f1d66af..5c10cde7f 100644
--- 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
index f4ad78ada..066f1a138 100644
--- 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
index c1b39b6d2..348277d11 100644
--- 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
index 21912dcc4..7b4c953fb 100644
--- 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
index 16c29072e..3e68c25ad 100644
--- 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
index 3bf180616..20a3b3a76 100644
--- 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
index 88439a399..edc5d0026 100644
--- 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
index 6ae7e8534..6a9ae6205 100644
--- 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
index 2553cd8b6..58a526305 100644
--- 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;