Constant sel4_config::consts::ARCH_RISCV32

pub const ARCH_RISCV32: bool = false;