sel4_config::consts

Constant TIME_SLICE

Source 
pub const TIME_SLICE: &str = "5";