ARCH_ARM_V7VE

sel4_config::consts

Constant ARCH_ARM_V7VE 

Source 
pub const ARCH_ARM_V7VE: bool = false;