sel4_config::consts

Constant RISCV_PLAT

Source 
pub const RISCV_PLAT: &str = "spike";