KERNEL_MCS

sel4_config::consts

Constant KERNEL_MCS 

Source 
pub const KERNEL_MCS: bool = true;