sel4_config::consts

Constant ARCH_RISCV

Source 
pub const ARCH_RISCV: bool = true;