Constant sel4_config::consts::ARCH_IA32

pub const ARCH_IA32: bool = false;