sel4_config::consts

Constant KERNEL_MCS

Source
pub const KERNEL_MCS: bool = false;