path: root/kernel/src/drivers/mod.rs

#[cfg(target_arch = "riscv64")]
pub mod riscv_timer;