Constant sel4_config::consts::ARM_CORTEX_A7

pub const ARM_CORTEX_A7: bool = false;