sel4_config::consts

Constant SEL4_ARCH

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