Constant sel4_config::consts::TIMER_TICK_MS

pub const TIMER_TICK_MS: &str = "2";