sel4_config::consts

Constant ARM_HYPERVISOR_SUPPORT

Source
pub const ARM_HYPERVISOR_SUPPORT: bool = true;