sel4_config::consts

Constant ARM_CORTEX_A57

Source
pub const ARM_CORTEX_A57: bool = true;