sel4_config::consts

Constant ENABLE_SMP_SUPPORT

Source 
pub const ENABLE_SMP_SUPPORT: bool = true;