sel4_config::consts

Constant XAPIC

Source 
pub const XAPIC: bool = true;