Constant sel4_config::consts::ARCH_ARM_V8A

pub const ARCH_ARM_V8A: bool = true;