ARM_CORTEX_A15

sel4_config::consts

Constant ARM_CORTEX_A15 

Source 
pub const ARM_CORTEX_A15: bool = true;