SUPPORT_PCID

sel4_config::consts

Constant SUPPORT_PCID 

Source 
pub const SUPPORT_PCID: bool = false;