sel4_config::consts

Constant BOOT_THREAD_TIME_SLICE

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