Constant sel4_config::consts::ARM_PLAT

pub const ARM_PLAT: &str = "qemu-arm-virt";