TIME_SLICE

sel4_config::consts

Constant TIME_SLICE 

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