Constant sel4_config::consts::KERNEL_MCS

pub const KERNEL_MCS: bool = true;