//! @file lib.rs
//! @brief Library root for the timer driver crate
//! @author Kevin Thomas
//! @date 2025

#![no_std]

// Timer driver module
pub mod timer;