ARCH_AARCH32

sel4_config::consts

Constant ARCH_AARCH32 

Source 
pub const ARCH_AARCH32: bool = true;