Constant sel4_config::consts::PLAT

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