sel4_config::consts

Constant ARM_CORTEX_A53

Source 
pub const ARM_CORTEX_A53: bool = true;