From 7bcc773ff923e2e67a11443636a8270603d5f888 Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Sat, 21 Oct 2023 11:28:32 +0000 Subject: [PATCH] Add licensing information to Cargo manifest sources Signed-off-by: Nick Spinale --- .../crates/examples/microkit/banscii/pds/artist/crate.nix | 6 ++++++ .../microkit/banscii/pds/artist/interface-types/crate.nix | 6 ++++++ .../examples/microkit/banscii/pds/assistant/core/crate.nix | 6 ++++++ .../microkit/banscii/pds/assistant/core/test/crate.nix | 6 ++++++ .../examples/microkit/banscii/pds/assistant/crate.nix | 6 ++++++ .../microkit/banscii/pds/pl011-driver/core/crate.nix | 6 ++++++ .../examples/microkit/banscii/pds/pl011-driver/crate.nix | 6 ++++++ .../banscii/pds/pl011-driver/interface-types/crate.nix | 6 ++++++ .../crates/examples/microkit/hello/pds/hello/crate.nix | 6 ++++++ .../microkit/http-server/helpers/virtio-hal-impl/crate.nix | 6 ++++++ .../examples/microkit/http-server/pds/server/core/crate.nix | 6 ++++++ .../examples/microkit/http-server/pds/server/crate.nix | 6 ++++++ .../microkit/http-server/pds/sp804-driver/core/crate.nix | 6 ++++++ .../microkit/http-server/pds/sp804-driver/crate.nix | 6 ++++++ .../http-server/pds/sp804-driver/interface-types/crate.nix | 6 ++++++ .../microkit/http-server/pds/virtio-blk-driver/crate.nix | 6 ++++++ .../pds/virtio-blk-driver/interface-types/crate.nix | 6 ++++++ .../microkit/http-server/pds/virtio-net-driver/crate.nix | 6 ++++++ .../pds/virtio-net-driver/interface-types/crate.nix | 6 ++++++ .../root-task/example-root-task-without-runtime/crate.nix | 6 ++++++ .../crates/examples/root-task/example-root-task/crate.nix | 6 ++++++ .../crates/examples/root-task/hello/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/private/meta/crate.nix | 6 ++++++ .../crates/private/support/cargo-helpers/crate.nix | 6 ++++++ .../private/support/sel4-simple-task/config-types/crate.nix | 6 ++++++ .../crates/private/support/sel4-simple-task/rpc/crate.nix | 6 ++++++ .../support/sel4-simple-task/runtime/config/cli/crate.nix | 6 ++++++ .../support/sel4-simple-task/runtime/config/types/crate.nix | 6 ++++++ .../private/support/sel4-simple-task/runtime/crate.nix | 6 ++++++ .../support/sel4-simple-task/runtime/macros/crate.nix | 6 ++++++ .../private/support/sel4-simple-task/threading/crate.nix | 6 ++++++ .../private/tests/capdl/threads/components/test/crate.nix | 6 ++++++ .../private/tests/capdl/utcover/components/test/crate.nix | 6 ++++++ .../pds/client/crate.nix | 6 ++++++ .../pds/server/crate.nix | 6 ++++++ .../crates/private/tests/root-task/backtrace/crate.nix | 6 ++++++ .../crates/private/tests/root-task/c/crate.nix | 6 ++++++ .../crates/private/tests/root-task/config/crate.nix | 6 ++++++ .../crates/private/tests/root-task/core-libs/crate.nix | 6 ++++++ .../crates/private/tests/root-task/loader/crate.nix | 6 ++++++ .../crates/private/tests/root-task/mbedtls/crate.nix | 6 ++++++ .../crates/private/tests/root-task/panicking/crate.nix | 6 ++++++ .../crates/private/tests/root-task/tls/crate.nix | 6 ++++++ .../crates/sel4-async/block-io/cpiofs/crate.nix | 6 ++++++ .../crates/sel4-async/block-io/crate.nix | 6 ++++++ .../crates/sel4-async/block-io/fat/crate.nix | 6 ++++++ .../crates/sel4-async/network/crate.nix | 6 ++++++ .../crates/sel4-async/network/mbedtls/crate.nix | 6 ++++++ .../sel4-async/network/mbedtls/mozilla-ca-list/crate.nix | 6 ++++++ .../crates/sel4-async/single-threaded-executor/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4-async/time/crate.nix | 6 ++++++ .../crates/sel4-async/unsync/crate.nix | 6 ++++++ .../sel4-backtrace/addr2line-context-helper/crate.nix | 6 ++++++ .../crates/sel4-backtrace/cli/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4-backtrace/crate.nix | 6 ++++++ .../crates/sel4-backtrace/embedded-debug-info/cli/crate.nix | 6 ++++++ .../crates/sel4-backtrace/embedded-debug-info/crate.nix | 6 ++++++ .../crates/sel4-backtrace/simple/crate.nix | 6 ++++++ .../crates/sel4-backtrace/types/crate.nix | 6 ++++++ .../crates/sel4-bounce-buffer-allocator/crate.nix | 6 ++++++ .../crates/sel4-capdl-initializer/add-spec/crate.nix | 6 ++++++ .../crates/sel4-capdl-initializer/core/crate.nix | 6 ++++++ .../crates/sel4-capdl-initializer/crate.nix | 6 ++++++ .../crates/sel4-capdl-initializer/embed-spec/crate.nix | 6 ++++++ .../crates/sel4-capdl-initializer/types/crate.nix | 6 ++++++ .../crates/sel4-capdl-initializer/types/derive/crate.nix | 6 ++++++ .../with-embedded-spec/build-env/crate.nix | 6 ++++++ .../sel4-capdl-initializer/with-embedded-spec/crate.nix | 6 ++++++ .../with-embedded-spec/embedded-spec/crate.nix | 6 ++++++ .../with-embedded-spec/embedded-spec/validate/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix | 6 ++++++ .../crates/sel4-externally-shared/crate.nix | 6 ++++++ .../crates/sel4-generate-target-specs/crate.nix | 6 ++++++ .../crates/sel4-immediate-sync-once-cell/crate.nix | 6 ++++++ .../crates/sel4-immutable-cell/crate.nix | 6 ++++++ .../crates/sel4-initialize-tls-on-stack/crate.nix | 6 ++++++ .../crates/sel4-kernel-loader/add-payload/crate.nix | 6 ++++++ .../crates/sel4-kernel-loader/config-types/crate.nix | 6 ++++++ .../crates/sel4-kernel-loader/crate.nix | 6 ++++++ .../crates/sel4-kernel-loader/embed-page-tables/crate.nix | 6 ++++++ .../sel4-kernel-loader/embed-page-tables/runtime/crate.nix | 6 ++++++ .../crates/sel4-kernel-loader/payload-types/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4-logging/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4-microkit/crate.nix | 6 ++++++ .../crates/sel4-microkit/macros/crate.nix | 6 ++++++ .../crates/sel4-microkit/message/crate.nix | 6 ++++++ .../crates/sel4-microkit/message/types/crate.nix | 6 ++++++ hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix | 6 ++++++ .../crates/sel4-one-ref-cell/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4-panicking/crate.nix | 6 ++++++ .../crates/sel4-panicking/env/crate.nix | 6 ++++++ .../crates/sel4-platform-info/crate.nix | 6 ++++++ .../crates/sel4-platform-info/types/crate.nix | 6 ++++++ .../crates/sel4-render-elf-with-data/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4-root-task/crate.nix | 6 ++++++ .../crates/sel4-root-task/macros/crate.nix | 6 ++++++ .../crates/sel4-runtime-common/crate.nix | 6 ++++++ .../crates/sel4-rustfmt-helper/crate.nix | 6 ++++++ .../crates/sel4-shared-ring-buffer/block-io/crate.nix | 6 ++++++ .../crates/sel4-shared-ring-buffer/block-io/types/crate.nix | 6 ++++++ .../crates/sel4-shared-ring-buffer/bookkeeping/crate.nix | 6 ++++++ .../crates/sel4-shared-ring-buffer/crate.nix | 6 ++++++ .../crates/sel4-shared-ring-buffer/smoltcp/crate.nix | 6 ++++++ hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix | 6 ++++++ .../crates/sel4/bitfield-ops/crate.nix | 6 ++++++ .../crates/sel4/bitfield-parser/crate.nix | 6 ++++++ .../crates/sel4/bitfield-parser/test/crate.nix | 6 ++++++ .../cargo-manifest-sources/crates/sel4/build-env/crate.nix | 6 ++++++ hacking/cargo-manifest-sources/crates/sel4/config/crate.nix | 6 ++++++ .../crates/sel4/config/data/crate.nix | 6 ++++++ .../crates/sel4/config/generic/macro-impls/crate.nix | 6 ++++++ .../crates/sel4/config/generic/types/crate.nix | 6 ++++++ .../crates/sel4/config/macros/crate.nix | 6 ++++++ hacking/cargo-manifest-sources/crates/sel4/crate.nix | 6 ++++++ hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix | 6 ++++++ .../crates/sel4/sys/wrappers/crate.nix | 6 ++++++ 116 files changed, 696 insertions(+) diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix index da16135a2..d16f90da1 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix index 94694bb18..2ce11e2bb 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/artist/interface-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix index b53bec21c..6fdaff032 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix index 1f5679196..771b0c9aa 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/core/test/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix index d186371c5..c15695fcd 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/assistant/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/core/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/core/crate.nix index 989f68577..fb1c3e71e 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/core/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/core/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix index 3c07a3d45..7237baae1 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix index 84c9a50b8..f55c59eed 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/banscii/pds/pl011-driver/interface-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix index 2d667b2c7..8e11fac03 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/hello/pds/hello/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/helpers/virtio-hal-impl/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/helpers/virtio-hal-impl/crate.nix index fab2be142..5411f4bbd 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/helpers/virtio-hal-impl/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/helpers/virtio-hal-impl/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, virtioDriversWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix index 3e3b827c2..1f35488fa 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/core/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, smoltcpWith, mbedtlsWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix index 95b7828f3..2a8caa938 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/server/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, serdeWith, smoltcpWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/core/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/core/crate.nix index 371beb856..e9bf6bf60 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/core/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/core/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix index 7df42928e..2b224bd4b 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/interface-types/crate.nix index 29259b307..a37efe65a 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/interface-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/sp804-driver/interface-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/crate.nix index 165f952fd..22ea7e860 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, virtioDriversWith}: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/crate.nix index 80c9a5b21..599245101 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-blk-driver/interface-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/crate.nix index d66723151..f4b2d0f66 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, virtioDriversWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/crate.nix b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/crate.nix index 4785d9b91..66abef5fd 100644 --- a/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/microkit/http-server/pds/virtio-net-driver/interface-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix index c3ceb7498..69a3214f3 100644 --- a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task-without-runtime/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix index eb731c145..8960edf91 100644 --- a/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/root-task/example-root-task/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix b/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix index 7e2a2f0e4..5a5a931b7 100644 --- a/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix +++ b/hacking/cargo-manifest-sources/crates/examples/root-task/hello/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix index c28578c5a..fabc2fee3 100644 --- a/hacking/cargo-manifest-sources/crates/private/meta/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/meta/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix index d982ddb87..6e250621e 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/cargo-helpers/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/config-types/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/config-types/crate.nix index ce832b2ec..7fb1cad35 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/config-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/config-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix index 486fac9a1..a1fc604ea 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/rpc/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith, postcardWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix index 58b15c06b..d65bdbe42 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/cli/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/types/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/types/crate.nix index 69aa1d43f..03c0c2238 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/config/types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions, zerocopyWith, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix index bffdcf594..f8604e448 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith, postcardWith, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix index d9503c6f3..a395a5341 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/runtime/macros/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix index 073dd5a09..6022dd433 100644 --- a/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/support/sel4-simple-task/threading/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix index 2a9834681..5dfe56172 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/capdl/threads/components/test/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix index 3b218483a..6d1c01bbb 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/capdl/utcover/components/test/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix index 191630d2d..334bb8b92 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/client/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix index d8a1bba1f..f412f959f 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/microkit/passive-server-with-deferred-action/pds/server/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix index 85795ec25..6217b3bbb 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/backtrace/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix index 06fb2761e..91c739bb8 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/c/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix index d92d0d7dd..9ff90522a 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/config/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix index f80dee9aa..2d9bcb1b5 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/core-libs/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix index 62bda97f8..c73a7ef27 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/loader/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix index 08e1ac3a9..9d931b5b8 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/mbedtls/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, mbedtlsWith, mbedtlsPlatformSupportWith, mbedtlsSysAutoWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix index f99ebbc17..67e0e1bcf 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/panicking/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix b/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix index 065c394cc..e0acdbe1a 100644 --- a/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/private/tests/root-task/tls/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/cpiofs/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/block-io/cpiofs/crate.nix index 07b086ce4..ed5aba038 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/cpiofs/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/block-io/cpiofs/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, zerocopyWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/block-io/crate.nix index b18921e14..cda041260 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/block-io/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/fat/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/block-io/fat/crate.nix index f50e50d60..aaea1a5db 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/block-io/fat/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/block-io/fat/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, fatSource }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/network/crate.nix index 5e94cf58c..6b7aecfce 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/network/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/network/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions, smoltcpWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix index 058a4d6a1..89d737b23 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, mbedtlsWith, mbedtlsSysAutoWith, mbedtlsPlatformSupportWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/mozilla-ca-list/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/mozilla-ca-list/crate.nix index 7bec0fab7..43f998f06 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/mozilla-ca-list/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/network/mbedtls/mozilla-ca-list/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/single-threaded-executor/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/single-threaded-executor/crate.nix index 62eb9c4d1..11e0a005b 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/single-threaded-executor/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/single-threaded-executor/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/time/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/time/crate.nix index 45811a153..07a8000df 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/time/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/time/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions, smoltcpWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-async/unsync/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-async/unsync/crate.nix index 009a94aec..abea2e69d 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-async/unsync/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-async/unsync/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/addr2line-context-helper/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/addr2line-context-helper/crate.nix index c7152bdc1..bbe2c7ce9 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/addr2line-context-helper/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/addr2line-context-helper/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix index 090695410..7155e9f05 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/cli/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix index 5ca4f5dda..254891f37 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, postcardWith, unwindingWith, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix index 4acf60637..bce32467b 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/cli/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix index 014baf1cb..18ae95a04 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/embedded-debug-info/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix index c5424801e..d34e1c72f 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/simple/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-backtrace/types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-backtrace/types/crate.nix index 7c44bd053..9bad9e764 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-backtrace/types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-backtrace/types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions, serdeWith, postcardWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-bounce-buffer-allocator/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-bounce-buffer-allocator/crate.nix index 2d1d4bd65..8447f1665 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-bounce-buffer-allocator/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-bounce-buffer-allocator/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix index 38e43f376..628f86320 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/add-spec/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, postcardWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix index 28a4897d0..c794d74a0 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/core/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix index 05a86e210..022a7722c 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, postcardWith, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix index 5dc26354f..62c2203ef 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/embed-spec/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/crate.nix index 848022aa9..dbae2cacb 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix index b89b26069..29c4f6452 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/types/derive/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix index 6f2b7362b..87b237b80 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/build-env/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix index af7abc5d7..0e3fdfb23 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix index b61f2b559..a23187cce 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix index 21a183b54..6698da10c 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-capdl-initializer/with-embedded-spec/embedded-spec/validate/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix index b42534028..26b3c67f9 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-dlmalloc/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix index 0cbda4984..321eaa387 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-externally-shared/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, volatileSource }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix index a03cfb629..719085715 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-generate-target-specs/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix index efe6f6c39..96564a8a8 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-immediate-sync-once-cell/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-immutable-cell/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-immutable-cell/crate.nix index 736fe5cdd..bc7672af7 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-immutable-cell/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-immutable-cell/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-initialize-tls-on-stack/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-initialize-tls-on-stack/crate.nix index 5be19533c..d13c2b5f1 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-initialize-tls-on-stack/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-initialize-tls-on-stack/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix index 8ef5ad2df..299f6ef5e 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/add-payload/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, postcardWith, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/config-types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/config-types/crate.nix index c3a8b958f..4bbd0169e 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/config-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/config-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix index f5482043e..c07903ddc 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, postcardWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix index c1a1c3ea6..42c49ebcd 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/runtime/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/runtime/crate.nix index b6847cc83..9a5d74543 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/runtime/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/embed-page-tables/runtime/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/payload-types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/payload-types/crate.nix index ec94dc623..b46169be3 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/payload-types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-kernel-loader/payload-types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix index fb26a507f..f6f6ad0ed 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-logging/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix index d0a2a9052..428987983 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix index 66185235a..a44233edc 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/macros/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/message/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/message/crate.nix index f2c86090d..2127d41ac 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-microkit/message/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/message/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-microkit/message/types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-microkit/message/types/crate.nix index 8f583bbc5..6c6d08347 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-microkit/message/types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-microkit/message/types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions, serdeWith, postcardWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix index 5ccd35898..bcf7c9941 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-newlib/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-one-ref-cell/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-one-ref-cell/crate.nix index c379c9907..b374c2a49 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-one-ref-cell/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-one-ref-cell/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix index fa9f0d68c..1b1eb3360 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-panicking/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, unwindingWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix index 4f0dfe3a5..235354323 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-panicking/env/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix index 9c97e811c..8e0ba21f6 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-platform-info/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-platform-info/types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-platform-info/types/crate.nix index 10934b6ff..8c3ae3584 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-platform-info/types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-platform-info/types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix index 27c14c56a..2a64bec4b 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-render-elf-with-data/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix index 71699bc0c..136b1c005 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-root-task/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix index c6f51002a..c72863866 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-root-task/macros/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix index 00c01460b..a5f3e9cfa 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-runtime-common/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, unwindingWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix index e1bf0ff0f..4b1672c19 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-rustfmt-helper/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/crate.nix index cf5664817..fdb0e4e7f 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/types/crate.nix index 4f5a6a147..5ac4c1d00 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/block-io/types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, zerocopyWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/bookkeeping/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/bookkeeping/crate.nix index e615ce6d4..12162daa5 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/bookkeeping/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/bookkeeping/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/crate.nix index f0d3fd0f4..05966d41e 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, zerocopyWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/smoltcp/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/smoltcp/crate.nix index a46857085..cf1dc7cb3 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/smoltcp/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-shared-ring-buffer/smoltcp/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions, smoltcpWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix b/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix index fe26d1bae..f432d5c36 100644 --- a/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4-sync/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-ops/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-ops/crate.nix index 0100bc7ab..b09917c91 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-ops/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-ops/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix index 5e4c208df..76a57b1eb 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix index 8b4e2bad0..4fa42df99 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/bitfield-parser/test/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix index 8a28c3f01..235e7ba9f 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/build-env/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix index 1e9486bed..c941335e4 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix index 1330c4b3a..00ee0e0dd 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/data/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix index 6693ac59c..334306696 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/generic/macro-impls/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/generic/types/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/generic/types/crate.nix index 16361bec6..2a0ad38f3 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/generic/types/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/generic/types/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, serdeWith }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix index 2e62c895b..45a4303f6 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/config/macros/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/crate.nix index ba72bbb20..496e1a31a 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix index 36672bbff..15f74cc15 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/sys/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates, versions }: mk { diff --git a/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix b/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix index da902b873..3420588c0 100644 --- a/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix +++ b/hacking/cargo-manifest-sources/crates/sel4/sys/wrappers/crate.nix @@ -1,3 +1,9 @@ +# +# Copyright 2023, Colias Group, LLC +# +# SPDX-License-Identifier: BSD-2-Clause +# + { mk, localCrates }: mk {