sel4_config::consts

Constant ARCH_ARM_HYP

Source 
pub const ARCH_ARM_HYP: bool = false;