diff --git a/crates/sel4-hal-adapters/Cargo.nix b/crates/sel4-hal-adapters/Cargo.nix
index 77eda0996..0f9f18613 100644
--- a/crates/sel4-hal-adapters/Cargo.nix
+++ b/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 {
diff --git a/crates/sel4-hal-adapters/src/embedded_hal/mod.rs b/crates/sel4-hal-adapters/src/embedded_hal/mod.rs
index 9b4395aae..4505f6a6b 100644
--- a/crates/sel4-hal-adapters/src/embedded_hal/mod.rs
+++ b/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};
diff --git a/crates/sel4-hal-adapters/src/lib.rs b/crates/sel4-hal-adapters/src/lib.rs
index c94ba0047..3e05741d3 100644
--- a/crates/sel4-hal-adapters/src/lib.rs
+++ b/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)]
diff --git a/crates/sel4-hal-adapters/src/smoltcp/mod.rs b/crates/sel4-hal-adapters/src/smoltcp/mod.rs
index 7416009ff..a23e92dd2 100644
--- a/crates/sel4-hal-adapters/src/smoltcp/mod.rs
+++ b/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;
diff --git a/crates/sel4-hal-adapters/src/smoltcp/phy/device.rs b/crates/sel4-hal-adapters/src/smoltcp/phy/device.rs
index dd15237b7..08456f996 100644
--- a/crates/sel4-hal-adapters/src/smoltcp/phy/device.rs
+++ b/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::*;
diff --git a/crates/sel4-hal-adapters/src/smoltcp/phy/handler.rs b/crates/sel4-hal-adapters/src/smoltcp/phy/handler.rs
index e21fd9587..58b131d90 100644
--- a/crates/sel4-hal-adapters/src/smoltcp/phy/handler.rs
+++ b/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::{
diff --git a/crates/sel4-hal-adapters/src/smoltcp/phy/mod.rs b/crates/sel4-hal-adapters/src/smoltcp/phy/mod.rs
index 9789e45c8..ca7e318a0 100644
--- a/crates/sel4-hal-adapters/src/smoltcp/phy/mod.rs
+++ b/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::*;