ARCH_RISCV

sel4_config::consts

Constant ARCH_RISCV 

Source 
pub const ARCH_RISCV: bool = true;