diff --git a/default.nix b/default.nix index 8c9ceef52..5f304268c 100644 --- 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 index f5ed7c3bc..44dc90c8b 100644 --- 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 index 415534263..7d9a3b9cd 100644 --- 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 index 98e5f1db2..00ec52f1b 100644 --- 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 index 341600fc1..209772327 100644 --- 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 index 28d154950..912f5b284 100644 --- 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 index 83a23bf05..ea05cb4cb 100644 --- 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 index d65dd88dd..edd08c231 100644 --- 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 index 706045cd5..753ee8105 100644 --- 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 index ce0e3d01d..c7e2676e5 100644 --- 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 index 72b85690a..422169c52 100644 --- 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 index 8c341dd12..cfc2b92d2 100644 --- 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 index a05025290..021a19e89 100644 --- 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 index d0efa9709..638288f74 100644 --- 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 index ab2df2d73..b91cb63ea 100644 --- 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 index adaf9fd74..6e9e25f84 100644 --- 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 index 3e5772def..409acc875 100644 --- 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 index fedae1d8f..427919e62 100644 --- 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 index 029128769..8b12450f8 100644 --- 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 index c1a4b3b25..076613b16 100644 --- 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 index 2cbd14c86..39a1ceb73 100644 --- 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 index 4213922b0..816bbc913 100644 --- 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 index a15b6c924..b796f1aeb 100644 --- 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 index 11fc47b38..e44f460c2 100644 --- 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 index d7e2b293c..a00e8d462 100644 --- 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 index 1fb5bbf42..07596b99c 100644 --- 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 index f6e59936e..59214d2ab 100644 --- 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 index d5b14819e..e254e4dbf 100644 --- 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 index 26183e492..7d59becce 100644 --- 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 index 40b24d658..d016d944b 100644 --- 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 index 5b00a7ca0..19e322b5e 100644 --- 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 index 5f48ef264..67bfde65c 100644 --- 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 index 487afb5b9..7d8de97e1 100644 --- 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 index 6fa473ae4..778ef326a 100644 --- 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 index e6b3715a9..c308b8b5b 100644 --- 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 index 95c5adb7f..889f1c775 100644 --- 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 index 01a8cf054..65e98104e 100644 --- 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 index 750e9b1b6..677a364a8 100644 --- 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 index 4e599d861..b5f13a731 100644 --- 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 index 5f31c2518..1bd140237 100644 --- 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 diff --git a/hacking/nix/scope/world/capdl/mk-simple-composition-capdl-spec.nix b/hacking/nix/scope/world/capdl/mk-simple-composition-capdl-spec.nix index 124ac5c4b..b94824948 100644 --- a/hacking/nix/scope/world/capdl/mk-simple-composition-capdl-spec.nix +++ b/hacking/nix/scope/world/capdl/mk-simple-composition-capdl-spec.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, buildPackages, runCommand, writeText, linkFarm , hostPlatform , python3Packages diff --git a/hacking/nix/scope/world/capdl/mk-small-capdl-initializer.nix b/hacking/nix/scope/world/capdl/mk-small-capdl-initializer.nix index b60118dcb..c8dd13d0e 100644 --- a/hacking/nix/scope/world/capdl/mk-small-capdl-initializer.nix +++ b/hacking/nix/scope/world/capdl/mk-small-capdl-initializer.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { runCommand , capdl-tool , objectSizes diff --git a/hacking/nix/scope/world/capdl/object-sizes.nix b/hacking/nix/scope/world/capdl/object-sizes.nix index f9c3dd6d8..0af785ef3 100644 --- a/hacking/nix/scope/world/capdl/object-sizes.nix +++ b/hacking/nix/scope/world/capdl/object-sizes.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { runCommandCC, sources, libsel4 }: runCommandCC "object_sizes.yaml" { diff --git a/hacking/nix/scope/world/capdl/sel4-capdl-initializer.nix b/hacking/nix/scope/world/capdl/sel4-capdl-initializer.nix index 41bb9c843..8b9ded5b7 100644 --- a/hacking/nix/scope/world/capdl/sel4-capdl-initializer.nix +++ b/hacking/nix/scope/world/capdl/sel4-capdl-initializer.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { runCommand , capdl-tool , objectSizes diff --git a/hacking/nix/scope/world/capdl/serialize-capdl-spec.nix b/hacking/nix/scope/world/capdl/serialize-capdl-spec.nix index d3c7f1916..2ba9c67a5 100644 --- a/hacking/nix/scope/world/capdl/serialize-capdl-spec.nix +++ b/hacking/nix/scope/world/capdl/serialize-capdl-spec.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { runCommand , capdl-tool , objectSizes diff --git a/hacking/nix/scope/world/default.nix b/hacking/nix/scope/world/default.nix index 57daf31c5..875e014d9 100644 --- a/hacking/nix/scope/world/default.nix +++ b/hacking/nix/scope/world/default.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib , hostPlatform , runCommand, runCommandCC diff --git a/hacking/nix/scope/world/docs.nix b/hacking/nix/scope/world/docs.nix index a72cf8e4a..b30b6ca0e 100644 --- a/hacking/nix/scope/world/docs.nix +++ b/hacking/nix/scope/world/docs.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, buildPlatform, hostPlatform, buildPackages , runCommandCC, linkFarm, symlinkJoin, emptyDirectory , rsync diff --git a/hacking/nix/scope/world/instances/c.nix b/hacking/nix/scope/world/instances/c.nix index 231764f0e..4b6568b0d 100644 --- a/hacking/nix/scope/world/instances/c.nix +++ b/hacking/nix/scope/world/instances/c.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, stdenv, hostPlatform , cmake, perl, python3Packages diff --git a/hacking/nix/scope/world/instances/default.nix b/hacking/nix/scope/world/instances/default.nix index 8f9415bbf..e342cc70a 100644 --- a/hacking/nix/scope/world/instances/default.nix +++ b/hacking/nix/scope/world/instances/default.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, stdenv, hostPlatform, buildPackages , callPackage , writeScript, runCommand, linkFarm diff --git a/hacking/nix/scope/world/instances/microkit/banscii/default.nix b/hacking/nix/scope/world/instances/microkit/banscii/default.nix index 559b4ce34..6a280b1d3 100644 --- a/hacking/nix/scope/world/instances/microkit/banscii/default.nix +++ b/hacking/nix/scope/world/instances/microkit/banscii/default.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, stdenv , buildPackages, pkgsBuildBuild , linkFarm, symlinkJoin, writeText, writeScript, runCommand diff --git a/hacking/nix/scope/world/instances/microkit/default.nix b/hacking/nix/scope/world/instances/microkit/default.nix index d56952019..1df51e81b 100644 --- a/hacking/nix/scope/world/instances/microkit/default.nix +++ b/hacking/nix/scope/world/instances/microkit/default.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, stdenv , buildPackages, pkgsBuildBuild , linkFarm, symlinkJoin, writeText, runCommand diff --git a/hacking/nix/scope/world/instances/microkit/http-server/default.nix b/hacking/nix/scope/world/instances/microkit/http-server/default.nix index d3786e439..f22740efa 100644 --- a/hacking/nix/scope/world/instances/microkit/http-server/default.nix +++ b/hacking/nix/scope/world/instances/microkit/http-server/default.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, stdenv, hostPlatform, buildPackages , linkFarm, symlinkJoin, writeText, writeScript, runCommand , fetchgit diff --git a/hacking/nix/scope/world/mk-instance.nix b/hacking/nix/scope/world/mk-instance.nix index e28c03dc5..b93ba9d7d 100644 --- a/hacking/nix/scope/world/mk-instance.nix +++ b/hacking/nix/scope/world/mk-instance.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, hostPlatform, buildPackages , writeScript, linkFarm , mkSeL4KernelWithPayload diff --git a/hacking/nix/scope/world/mk-sel4-kernel-loader-with-payload.nix b/hacking/nix/scope/world/mk-sel4-kernel-loader-with-payload.nix index 57e1216ae..114865d98 100644 --- a/hacking/nix/scope/world/mk-sel4-kernel-loader-with-payload.nix +++ b/hacking/nix/scope/world/mk-sel4-kernel-loader-with-payload.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib , runCommand , capdl-tool diff --git a/hacking/nix/scope/world/mk-task.nix b/hacking/nix/scope/world/mk-task.nix index f36a2ed24..fd8b0587e 100644 --- a/hacking/nix/scope/world/mk-task.nix +++ b/hacking/nix/scope/world/mk-task.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, buildPackages , buildCrateInLayersHere, buildSysroot, crateUtils , crates diff --git a/hacking/nix/scope/world/sel4-kernel-loader.nix b/hacking/nix/scope/world/sel4-kernel-loader.nix index eb27764a9..89e0a9cf6 100644 --- a/hacking/nix/scope/world/sel4-kernel-loader.nix +++ b/hacking/nix/scope/world/sel4-kernel-loader.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, buildPackages, writeText , buildCrateInLayersHere, buildSysroot, crateUtils , crates, bareMetalRustTargetInfo diff --git a/hacking/nix/scope/world/shell.nix b/hacking/nix/scope/world/shell.nix index c0ae360ec..b9abab788 100644 --- a/hacking/nix/scope/world/shell.nix +++ b/hacking/nix/scope/world/shell.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, stdenv, buildPackages , writeText, emptyFile , mkShell diff --git a/hacking/nix/scope/worlds.nix b/hacking/nix/scope/worlds.nix index 2b925c602..e108ec511 100644 --- a/hacking/nix/scope/worlds.nix +++ b/hacking/nix/scope/worlds.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, pkgsBuildBuild , cmakeConfigHelpers , mkWorld diff --git a/hacking/nix/top-level/default.nix b/hacking/nix/top-level/default.nix index 5e69580ce..7ed7bca14 100644 --- a/hacking/nix/top-level/default.nix +++ b/hacking/nix/top-level/default.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + self: with self; let diff --git a/hacking/nix/top-level/docs/default.nix b/hacking/nix/top-level/docs/default.nix index 0e26e42c0..5d55f0a99 100644 --- a/hacking/nix/top-level/docs/default.nix +++ b/hacking/nix/top-level/docs/default.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib, pkgs }: let diff --git a/hacking/nix/tree-helpers.nix b/hacking/nix/tree-helpers.nix index 31c6df834..5664db2ab 100644 --- a/hacking/nix/tree-helpers.nix +++ b/hacking/nix/tree-helpers.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { lib }: rec {