ARM_CORTEX_A72

sel4_config::consts

Constant ARM_CORTEX_A72 

Source 
pub const ARM_CORTEX_A72: bool = false;