sel4_config::consts

Constant ARCH_ARM_V7VE

Source
pub const ARCH_ARM_V7VE: bool = true;