sel4_config::consts

Constant ARM_ERRATA_773022

Source 
pub const ARM_ERRATA_773022: bool = false;