sel4_config::consts

Constant TIMER_TICK_MS

Source 
pub const TIMER_TICK_MS: &str = "2";