Constant sel4_config::consts::ARCH_ARM_V7A

pub const ARCH_ARM_V7A: bool = false;