Add licensing info to hal-adapters crate

Signed-off-by: Ben Hamlin <[email protected]>

crates/sel4-hal-adapters/Cargo.nix

@@ -1,3 +1,10 @@
+#
+# Copyright 2023, Colias Group, LLC
+# Copyright 2023, Galois, Inc.
+#
+# SPDX-License-Identifier: BSD-2-Clause
+#
+
 { mk, versions, localCrates, smoltcpWith, serdeWith, authors }:
 
 mk {

crates/sel4-hal-adapters/src/embedded_hal/mod.rs

@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright 2023, Galois, Inc.
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 #![no_std]
 
 use num_enum::{IntoPrimitive, TryFromPrimitive};

crates/sel4-hal-adapters/src/lib.rs

@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright 2023, Galois, Inc.
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 #![no_std]
 #![feature(never_type)]
 #![feature(strict_provenance)]

crates/sel4-hal-adapters/src/smoltcp/mod.rs

@@ -1 +1,8 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright 2023, Galois, Inc.
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 pub mod phy;

crates/sel4-hal-adapters/src/smoltcp/phy/device.rs

@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright 2023, Galois, Inc.
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 //! Client-side [`smoltcp::phy::Device`] implementation
 
 pub use sel4_shared_ring_buffer::*;

crates/sel4-hal-adapters/src/smoltcp/phy/handler.rs

@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright 2023, Galois, Inc.
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 //! A generic microkit handler for implementors of [`smoltcp::phy::Device`].
 
 use smoltcp::{

crates/sel4-hal-adapters/src/smoltcp/phy/mod.rs

@@ -1,3 +1,10 @@
+//
+// Copyright 2023, Colias Group, LLC
+// Copyright 2023, Galois, Inc.
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
 mod handler;
 pub use handler::*;