X2APIC

sel4_config::consts

Constant X2APIC 

Source 
pub const X2APIC: bool = false;