Constant sel4_config::consts::BOOT_THREAD_TIME_SLICE

pub const BOOT_THREAD_TIME_SLICE: &str = "5";