Constant sel4_config::consts::ARCH_ARM_V7VE

pub const ARCH_ARM_V7VE: bool = false;