ARM_MACH

sel4_config::consts

Constant ARM_MACH 

Source 
pub const ARM_MACH: &str = "";