sel4_config::consts

Constant SEL4_ARCH

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