Constant sel4_config::consts::ARCH_AARCH32

pub const ARCH_AARCH32: bool = false;