SEL4_ARCH

sel4_config::consts

Constant SEL4_ARCH 

Source 
pub const SEL4_ARCH: &str = "riscv64";