Constant sel4_config::consts::PLAT_QEMU_ARM_VIRT

pub const PLAT_QEMU_ARM_VIRT: bool = true;