ARCH_ARM_HYP

sel4_config::consts

Constant ARCH_ARM_HYP 

Source 
pub const ARCH_ARM_HYP: bool = false;