Constant sel4_config::consts::TIME_SLICE

pub const TIME_SLICE: &str = "5";