sel4_config::consts

Constant PLAT_QEMU_ARM_VIRT

Source 
pub const PLAT_QEMU_ARM_VIRT: bool = true;