Constant sel4_config::consts::ENABLE_SMP_SUPPORT

pub const ENABLE_SMP_SUPPORT: bool = false;