From d20411a5eaba80d89a1cb0043b9682c2c21805a2 Mon Sep 17 00:00:00 2001
From: Nick Spinale <nick@nickspinale.com>
Date: Tue, 24 Oct 2023 01:11:00 +0000
Subject: [PATCH] crates/private/support/sel4-simple-task: Fix licensing
 information

As part of more a detailed pass.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
---
 .../private/support/sel4-simple-task/threading/Cargo.toml   | 4 ++--
 .../private/support/sel4-simple-task/threading/src/lib.rs   | 3 ++-
 .../private/support/sel4-simple-task/threading/crate.nix    | 6 ++++--
 3 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/crates/private/support/sel4-simple-task/threading/Cargo.toml b/crates/private/support/sel4-simple-task/threading/Cargo.toml
index 2931fd6f9..d1c651e41 100644
--- a/crates/private/support/sel4-simple-task/threading/Cargo.toml
+++ b/crates/private/support/sel4-simple-task/threading/Cargo.toml
@@ -1,7 +1,7 @@
 #
 # Copyright 2023, Colias Group, LLC
 #
-# SPDX-License-Identifier: BSD-2-Clause
+# SPDX-License-Identifier: MIT
 #
 
 [package]
@@ -9,7 +9,7 @@ name = "sel4-simple-task-threading"
 version = "0.1.0"
 authors = ["Nick Spinale <nick.spinale@coliasgroup.com>"]
 edition = "2021"
-license = "BSD-2-Clause"
+license = "MIT"
 
 [features]
 alloc = []
diff --git a/crates/private/support/sel4-simple-task/threading/src/lib.rs b/crates/private/support/sel4-simple-task/threading/src/lib.rs
index 958723f67..3f74041cd 100644
--- a/crates/private/support/sel4-simple-task/threading/src/lib.rs
+++ b/crates/private/support/sel4-simple-task/threading/src/lib.rs
@@ -1,7 +1,8 @@
 //
 // Copyright 2023, Colias Group, LLC
+// Copyright (c) 2020 Arm Limited
 //
-// SPDX-License-Identifier: BSD-2-Clause
+// SPDX-License-Identifier: MIT
 //
 
 #![no_std]
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 6022dd433..e60631691 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,13 +1,15 @@
 #
 # Copyright 2023, Colias Group, LLC
 #
-# SPDX-License-Identifier: BSD-2-Clause
+# SPDX-License-Identifier: MIT
 #
 
 { mk, localCrates }:
 
-mk {
+mk rec {
   package.name = "sel4-simple-task-threading";
+  package.license = "MIT";
+  nix.reuseFrontmatterArgs.licenseID = package.license;
   nix.local.dependencies = with localCrates; [
     sel4
     sel4-panicking