sel4_config::consts

Constant ARCH_AARCH32

Source 
pub const ARCH_AARCH32: bool = true;