Port puzzle and loopback firmware to new HAL

Author: robamu

justfile

@@ -73,6 +73,9 @@ build-qemu-uart-driver-ferrocene:
 build-radio-app:
 	cd nrf52-code/radio-app && cargo build --release
 
+build-hal-app:
+	cd nrf52-code/hal-app && cargo build --release
+
 build-usb-app:
 	cd nrf52-code/usb-app && cargo build --release
 	cd nrf52-code/usb-app-solutions && cargo build --release
@@ -90,7 +93,7 @@ build-puzzle-fw:
 build-loopback-fw:
 	cd nrf52-code/loopback-fw && cargo build --release
 
-build-nrf52-code: build-radio-app build-usb-app test-usb-lib build-puzzle-fw build-loopback-fw
+build-nrf52-code: build-radio-app build-usb-app test-usb-lib build-puzzle-fw build-loopback-fw build-hal-app
 
 assemble version:
 	echo "Making ./rust-exercises-{{ version }}..."

nrf52-code/boards/.gitignore

@@ -1 +1,2 @@
-Cargo.lock
+Cargo.lock
+target

nrf52-code/boards/dk-solution/Cargo.lock

@@ -13,7 +13,7 @@
 
 use core::{
     hint::spin_loop,
-    sync::atomic::{self, AtomicU32, Ordering},
+    sync::atomic::{self, AtomicBool, AtomicU32, Ordering},
     time::Duration,
 };
 
@@ -51,7 +51,7 @@ pub struct Board {
     /// Radio interface
     #[cfg(feature = "radio")]
     pub radio: crate::radio::Radio<'static>,
-    /// USBD (Universal Serial Bus Device) peripheral
+    /// Raw register block for the USBD peripheral.
     #[cfg(any(feature = "advanced", feature = "usbd"))]
     pub usbd: hal::pac::usbd::Usbd,
     /// POWER (Power Supply) peripheral
@@ -319,10 +319,15 @@ pub enum Error {
     DoubleInit = 1,
 }
 
+// Atomic flag to detect double initialization of the HAL.
+static HAL_INIT: AtomicBool = AtomicBool::new(false);
+
 /// Initializes the board
-///
-/// This return an `Err`or if called more than once
 pub fn init() -> Result<Board, Error> {
+    if HAL_INIT.swap(true, Ordering::Relaxed) {
+        return Err(Error::DoubleInit);
+    }
+
     // NOTE: this branch runs at most once
     #[cfg(feature = "advanced")]
     static EP0IN_BUF: GroundedArrayCell<u8, 64> = GroundedArrayCell::const_init();

nrf52-code/boards/dk-solution/src/lib.rs

@@ -11,7 +11,7 @@
 
 use core::{
     hint::spin_loop,
-    sync::atomic::{self, AtomicU32, Ordering},
+    sync::atomic::{self, AtomicBool, AtomicU32, Ordering},
     time::Duration,
 };
 
@@ -47,7 +47,7 @@ pub struct Board {
     /// Radio interface
     #[cfg(feature = "radio")]
     pub radio: crate::radio::Radio<'static>,
-    /// USBD (Universal Serial Bus Device) peripheral
+    /// Raw register block for the USBD peripheral.
     #[cfg(any(feature = "advanced", feature = "usbd"))]
     pub usbd: hal::pac::usbd::Usbd,
     /// POWER (Power Supply) peripheral
@@ -291,10 +291,15 @@ pub enum Error {
     DoubleInit = 1,
 }
 
+// Atomic flag to detect double initialization of the HAL.
+static HAL_INIT: AtomicBool = AtomicBool::new(false);
+
 /// Initializes the board
-///
-/// This return an `Err`or if called more than once
-pub fn init() -> Result<Board, Error> {
+pub fn init() -> Result<Board, Error>{
+    if HAL_INIT.swap(true, Ordering::Relaxed) {
+        return Err(Error::DoubleInit);
+    }
+
     // NOTE: this branch runs at most once
     #[cfg(feature = "advanced")]
     static EP0IN_BUF: GroundedArrayCell<u8, 64> = GroundedArrayCell::const_init();