sel4_config::consts

Constant PLAT

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