Fix duplicate //! headers in board.rs, update @brief, add // comments to lib.rs pub mod

- Remove duplicate //! @file/@brief/@author/@date blocks from all 8 board.rs
- Update original @brief to consistent 'Board-level HAL helpers for the XXX driver'
- Add // comment above pub mod in all 7 lib.rs files
- All 8 drivers build, all 75 tests pass

drivers/0x01_uart_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation helpers for the UART demo
+//! @brief Board-level HAL helpers for the UART driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the UART driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // Alias our HAL crate
 #[cfg(rp2350)]
 use rp235x_hal as hal;

drivers/0x02_blink_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation helpers for the blink demo
+//! @brief Board-level HAL helpers for the blink driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the blink driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // Rate extension trait for .Hz() baud rate construction
 use fugit::RateExtU32;
 // Clock trait for accessing system clock frequency

drivers/0x02_blink_rust/src/lib.rs

@@ -5,4 +5,5 @@
 
 #![no_std]
 
+// Blink driver module
 pub mod blink;

drivers/0x03_button_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation helpers for the button demo
+//! @brief Board-level HAL helpers for the button driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the button driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // Rate extension trait for .Hz() baud rate construction
 use fugit::RateExtU32;
 // Clock trait for accessing system clock frequency

drivers/0x03_button_rust/src/lib.rs

@@ -5,4 +5,5 @@
 
 #![no_std]
 
+// Button driver module
 pub mod button;

drivers/0x04_pwm_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation helpers for the PWM demo
+//! @brief Board-level HAL helpers for the PWM driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the PWM driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // PWM duty-cycle trait for .set_duty_cycle()
 use embedded_hal::pwm::SetDutyCycle;
 // Rate extension trait for .Hz() baud rate construction

drivers/0x04_pwm_rust/src/lib.rs

@@ -5,4 +5,5 @@
 
 #![no_std]
 
+// PWM driver module
 pub mod pwm;

drivers/0x05_servo_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation helpers for the servo demo
+//! @brief Board-level HAL helpers for the servo driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the servo driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // PWM duty-cycle trait for .set_duty_cycle()
 use embedded_hal::pwm::SetDutyCycle;
 // Rate extension trait for .Hz() baud rate construction

drivers/0x05_servo_rust/src/lib.rs

@@ -5,4 +5,5 @@
 
 #![no_std]
 
+// Servo driver module
 pub mod servo;

drivers/0x06_adc_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation helpers for the ADC demo
+//! @brief Board-level HAL helpers for the ADC driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the ADC driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // Rate extension trait for .Hz() baud rate construction
 use fugit::RateExtU32;
 // Clock trait for accessing system clock frequency

drivers/0x06_adc_rust/src/lib.rs

@@ -5,4 +5,5 @@
 
 #![no_std]
 
+// ADC driver module
 pub mod adc;

drivers/0x07_i2c_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation helpers for the I2C scanner demo
+//! @brief Board-level HAL helpers for the I2C driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the I2C driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // I2C bus trait for device probing
 use embedded_hal::i2c::I2c;
 // Rate extension trait for .Hz() baud rate construction

drivers/0x07_i2c_rust/src/lib.rs

@@ -5,4 +5,5 @@
 
 #![no_std]
 
+// I2C driver module
 pub mod i2c;

drivers/0x08_lcd1602_rust/src/board.rs

@@ -1,5 +1,5 @@
 //! @file board.rs
-//! @brief Board-level initialisation and LCD hardware helpers
+//! @brief Board-level HAL helpers for the LCD 1602 driver
 //! @author Kevin Thomas
 //! @date 2025
 //!
@@ -25,11 +25,6 @@
 //! OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 //! SOFTWARE.
 
-//! @file board.rs
-//! @brief Board-level HAL helpers for the LCD 1602 driver
-//! @author Kevin Thomas
-//! @date 2025
-
 // I2C bus trait for LCD communication
 use embedded_hal::i2c::I2c;
 // Rate extension trait for .Hz() baud rate construction

drivers/0x08_lcd1602_rust/src/lib.rs

@@ -5,4 +5,5 @@
 
 #![no_std]
 
+// LCD 1602 driver module
 pub mod lcd1602;