sel4_config::consts

Constant ARCH_ARM_V7VE

Source 
pub const ARCH_ARM_V7VE: bool = false;