Constant sel4_config::consts::SEL4_ARCH

pub const SEL4_ARCH: &str = "aarch64";