USE_LOGICAL_IDS

sel4_config::consts

Constant USE_LOGICAL_IDS 

Source 
pub const USE_LOGICAL_IDS: bool = false;