sel4_config::consts

Constant USE_LOGICAL_IDS

Source 
pub const USE_LOGICAL_IDS: bool = false;