Constant sel4_common::sel4_config::CONFIG_TIME_SLICE

source · 
pub const CONFIG_TIME_SLICE: usize = 5;