Constant sel4_config::consts::ARCH_RISCV64

pub const ARCH_RISCV64: bool = false;