Constant sel4_config::consts::ARCH

pub const ARCH: &str = "arm";