Constant sel4_config::consts::ARCH_ARM_HYP

pub const ARCH_ARM_HYP: bool = false;