sel4_config::consts

Constant ARM_GIC_V3_SUPPORT

Source 
pub const ARM_GIC_V3_SUPPORT: bool = false;