sel4_config::consts

Constant SEL4_ARCH

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