Constant sel4_config::consts::ARM_MACH

pub const ARM_MACH: &str = "";