/// timer: Platform timer support code.
pub mod timer;