Constant sel4_config::consts::ARM_HYPERVISOR_SUPPORT

pub const ARM_HYPERVISOR_SUPPORT: bool = true;