ARM_PLAT

sel4_config::consts

Constant ARM_PLAT 

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