Constant sel4_config::consts::ARCH_ARM

pub const ARCH_ARM: bool = true;