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