Add MPL license headers to source files.

I always dislike having headers like this, but for MPL2 in particular
this is the right thing to do, since it applies at a file level.

examples/rp2040/minimal/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Minimal example of using `lilos` to blink an LED at 1Hz on the
 //! Raspberry Pi Pico board.
 //!

examples/stm32f4/blinky/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! More complex LED-blinking demo using parameterized tasks.
 //!
 //! This blinks four LEDs on the STM32F4DISCOVERY board. Each LED uses the same

examples/stm32f4/minimal/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Minimal example of using `lilos` to blink an LED at 1Hz on the
 //! STM32F4DISCOVERY board.
 //!

examples/stm32f4/uart-echo/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! An example of receiving and retransmitting bytes through a UART on the
 //! STM32F4xx.
 //!

examples/stm32g031/minimal/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Minimal example of using `lilos` to blink an LED at 1Hz on the
 //! NUCLEO-STM32G031 board.
 //!

examples/stm32h7/minimal/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Minimal example of using `lilos` to blink an LED at 1Hz on the
 //! STM32H7 NUCLEO board.
 //!

examples/stm32h7/uart-echo/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! An example of receiving and retransmitting bytes through a UART on the
 //! STM32H7xx.
 //!

handoff/src/lib.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Mechanism for handing data from one task to another, minimizing copies.
 //!
 //! This crate provides the `Handoff` abstraction for `lilos`.

list/src/lib.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! A no-allocation wait-list and associated utility code.
 //!
 //! This crates provides a doubly-linked intrusive list for tracking timers or

os/build.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 fn main() {
     match std::env::var("TARGET").unwrap().as_str() {
         "thumbv7m-none-eabi" | "thumbv7em-none-eabi" | "thumbv7em-none-eabihf" => {

os/src/atomic.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! A collection of atomic "polyfill" routines, to use a term from JavaScript.
 //!
 //! ARMv6-M processors like the Cortex-M0 don't support the fancier atomic

os/src/exec.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! The async runtime executor, plus inter-task communication tools.
 //!
 //! **Note:** for our purposes, a _task_ is an independent top-level future

os/src/lib.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! A simple but powerful `async` RTOS based around Rust `Future`s.
 //!
 //! This provides a lightweight operating environment for running async Rust

os/src/list.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Doubly-linked intrusive lists for scheduling and waking (old version).
 //!
 //! **Please use the `lilos_list` crate instead. It's better in literally every

os/src/mutex.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Fair mutex that must be pinned.
 //!
 //! This implements a mutex (a kind of lock) guarding a value of type `T`. This

os/src/spsc.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! A queue for moving data from one future/task into another.
 //!
 //! This is a "single-producer, single-consumer" queue that splits into separate

os/src/time.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Timekeeping using the SysTick Timer.
 //!
 //! **Note:** this entire module is only available if the `systick` feature is

os/src/util.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Utility code for use by applications.
 //!
 //! Like `atomic`, this module exposes odds and ends that might be useful for

rwlock/src/lib.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! A [read-write lock] for use with [`lilos`].
 //!
 //! There's a small family of related types in this here crate:

semaphore/src/lib.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! A [counting semaphore] for use with [`lilos`].
 //!
 //! See the docs on [`Semaphore`] for more details.

testsuite/lm3s6965/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! OS test suite, LM3S6965 wrapper.
 
 #![no_std]

testsuite/src/handoff.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 use lilos_handoff::Handoff;
 
 pub async fn test_create_drop() {

testsuite/src/lib.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! OS test suite.
 //!
 //! The test suite is SoC-independent.

testsuite/src/list.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! Tests for the `List` and `Node` types.
 
 #![allow(clippy::bool_assert_comparison)]

testsuite/src/mutex.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 use core::pin::{Pin, pin};
 use core::task::Poll;
 

testsuite/src/rwlock.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 use core::pin::pin;
 
 use lilos_rwlock::RwLock;

testsuite/src/semaphore.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 use core::pin::pin;
 
 use lilos_semaphore::{Semaphore, ScopedSemaphore};

testsuite/src/spsc.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 use core::cell::Cell;
 use core::mem::MaybeUninit;
 use core::ptr::addr_of_mut;

testsuite/stm32f3/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! OS test suite, STM32F303 wrapper.
 
 #![no_std]

testsuite/stm32f4/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! OS test suite, STM32F407 wrapper.
 
 #![no_std]

testsuite/stm32g0/src/main.rs

@@ -1,3 +1,7 @@
+// This Source Code Form is subject to the terms of the Mozilla Public
+// License, v. 2.0. If a copy of the MPL was not distributed with this
+// file, You can obtain one at https://mozilla.org/MPL/2.0/.
+
 //! OS test suite, STM32G0 wrapper.
 
 #![no_std]