Constant sel4_config::consts::ARM_CORTEX_A53

pub const ARM_CORTEX_A53: bool = true;