Add licensing information to Nix sources

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

Hide file tree

Showing 61 changed files with 366 additions and 0 deletions.
diff --git a/default.nix b/default.nix
@@ -1 +1,7 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 import ./hacking/nix
diff --git a/hacking/nix/cargo-manifest-generation-utils/default.nix b/hacking/nix/cargo-manifest-generation-utils/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , callPackage
 , runCommand, writeText, writeScript, linkFarm

diff --git a/hacking/nix/cargo-manifest-generation-utils/format-cargo-toml.nix b/hacking/nix/cargo-manifest-generation-utils/format-cargo-toml.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { runCommand, rustfmtWithTOMLSupport }:
 
 unformatted:

diff --git a/hacking/nix/cargo-manifest-generation-utils/rustfmt-with-toml-support.nix b/hacking/nix/cargo-manifest-generation-utils/rustfmt-with-toml-support.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { stdenv
 , fetchFromGitHub
 , rustToolchain

diff --git a/hacking/nix/default.nix b/hacking/nix/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 let
 
   defaultNixpkgsSource =

diff --git a/hacking/nix/overlay/default.nix b/hacking/nix/overlay/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 self: super: with self;
 
 let

diff --git a/hacking/nix/overlay/python-overrides.nix b/hacking/nix/overlay/python-overrides.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { glibcLocales }:
 
 self: super: with self;

diff --git a/hacking/nix/rust-utils/build-crate-in-layers.nix b/hacking/nix/rust-utils/build-crate-in-layers.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv, buildPackages
 , linkFarm, emptyDirectory
 , crateUtils

diff --git a/hacking/nix/rust-utils/build-sysroot.nix b/hacking/nix/rust-utils/build-sysroot.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv, buildPlatform, hostPlatform, buildPackages
 , runCommand, linkFarm
 , vendorLockfile, crateUtils, symlinkToRegularFile

diff --git a/hacking/nix/rust-utils/crate-utils.nix b/hacking/nix/rust-utils/crate-utils.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, buildPlatform, hostPlatform
 , writeText, linkFarm, runCommand
 , toTOMLFile

diff --git a/hacking/nix/rust-utils/default.nix b/hacking/nix/rust-utils/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib }:
 
 self: with self;

diff --git a/hacking/nix/rust-utils/prune-lockfile.nix b/hacking/nix/rust-utils/prune-lockfile.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, runCommand
 , crateUtils
 , defaultRustToolchain

diff --git a/hacking/nix/rust-utils/symlink-to-regular-file.nix b/hacking/nix/rust-utils/symlink-to-regular-file.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { runCommand }:
 
 name: path:

diff --git a/hacking/nix/rust-utils/to-toml-file.nix b/hacking/nix/rust-utils/to-toml-file.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { runCommand, remarshal }:
 
 name: expr:

diff --git a/hacking/nix/rust-utils/vendor-lockfile.nix b/hacking/nix/rust-utils/vendor-lockfile.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, runCommand, linkFarm
 , fetchurl
 , jq

diff --git a/hacking/nix/scope/capdl-tool/base-compat-0-11-2.nix b/hacking/nix/scope/capdl-tool/base-compat-0-11-2.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { mkDerivation, base, lib, unix }:
 mkDerivation {
   pname = "base-compat";

diff --git a/hacking/nix/scope/capdl-tool/base-compat-batteries-0-11-2.nix b/hacking/nix/scope/capdl-tool/base-compat-batteries-0-11-2.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { mkDerivation, base, base-compat, hspec, hspec-discover, lib
 , QuickCheck
 }:

diff --git a/hacking/nix/scope/capdl-tool/capDL-tool.nix b/hacking/nix/scope/capdl-tool/capDL-tool.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { mkDerivation, aeson, array, base, base-compat, bytestring
 , containers, filepath, lens, lib, MissingH, mtl, parsec, pretty
 , regex-compat, split, text, unix, yaml

diff --git a/hacking/nix/scope/capdl-tool/default.nix b/hacking/nix/scope/capdl-tool/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv
 , haskell
 , sources

diff --git a/hacking/nix/scope/cmake-config-helpers.nix b/hacking/nix/scope/cmake-config-helpers.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib }:
 
 let

diff --git a/hacking/nix/scope/crates.nix b/hacking/nix/scope/crates.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , writeText
 , crateUtils

diff --git a/hacking/nix/scope/default.nix b/hacking/nix/scope/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv
 , buildPlatform, hostPlatform, targetPlatform
 , pkgsBuildBuild

diff --git a/hacking/nix/scope/distribution.nix b/hacking/nix/scope/distribution.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , writeText
 , crateUtils

diff --git a/hacking/nix/scope/embed-debug-info.nix b/hacking/nix/scope/embed-debug-info.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, runCommandCC
 , sel4-backtrace-embedded-debug-cli
 }:

diff --git a/hacking/nix/scope/generated-cargo-manifests/default.nix b/hacking/nix/scope/generated-cargo-manifests/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, callPackage, newScope
 , writeText, runCommand, linkFarm, writeScript
 , runtimeShell

diff --git a/hacking/nix/scope/microkit/default.nix b/hacking/nix/scope/microkit/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv
 , buildPackages, pkgsBuildBuild
 , linkFarm, writeScript, runCommand

diff --git a/hacking/nix/scope/opensbi.nix b/hacking/nix/scope/opensbi.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , stdenv
 , fetchFromGitHub

diff --git a/hacking/nix/scope/plat-utils/default.nix b/hacking/nix/scope/plat-utils/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { callPackage }:
 
 {

diff --git a/hacking/nix/scope/plat-utils/qemu/default.nix b/hacking/nix/scope/plat-utils/qemu/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , hostPlatform
 , buildPackages

diff --git a/hacking/nix/scope/plat-utils/rpi4/default.nix b/hacking/nix/scope/plat-utils/rpi4/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, hostPlatform, callPackage
 , runCommand, writeText
 , fetchFromGitHub

diff --git a/hacking/nix/scope/plat-utils/rpi4/u-boot.nix b/hacking/nix/scope/plat-utils/rpi4/u-boot.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv, hostPlatform, buildPackages
 , fetchFromGitHub
 , bc, bison, dtc, flex

diff --git a/hacking/nix/scope/registry.nix b/hacking/nix/scope/registry.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , runCommand, writeText, linkFarm
 , git

diff --git a/hacking/nix/scope/sel4/default.nix b/hacking/nix/scope/sel4/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv, writeText, buildPackages
 , cmake, ninja
 , dtc, libxml2

diff --git a/hacking/nix/scope/sel4test/default.nix b/hacking/nix/scope/sel4test/default.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { stdenv, lib
 , buildPackages, buildPlatform, hostPlatform
 , writeText, writeScript, linkFarm

diff --git a/hacking/nix/scope/shell.nix b/hacking/nix/scope/shell.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, stdenv, hostPlatform, buildPackages
 , mkShell
 , defaultRustToolchain

diff --git a/hacking/nix/scope/sources.nix b/hacking/nix/scope/sources.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 }:
 

diff --git a/hacking/nix/scope/tools/cargo-helpers.nix b/hacking/nix/scope/tools/cargo-helpers.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , buildCrateInLayersHere
 , crateUtils

diff --git a/hacking/nix/scope/tools/cargo-index.nix b/hacking/nix/scope/tools/cargo-index.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , rustPlatform, fetchFromGitHub
 , pkgconfig, openssl

diff --git a/hacking/nix/scope/world/capdl/dummy-capdl-spec.nix b/hacking/nix/scope/world/capdl/dummy-capdl-spec.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib, emptyDirectory, linkFarm, writeText }:
 
 {

diff --git a/hacking/nix/scope/world/capdl/mk-capdl-initializer-with-spec.nix b/hacking/nix/scope/world/capdl/mk-capdl-initializer-with-spec.nix
@@ -1,3 +1,9 @@
+#
+# Copyright 2023, Colias Group, LLC
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { lib
 , runCommand
 , capdl-tool