sel4_config::consts

Constant PLAT_PC99

Source 
pub const PLAT_PC99: bool = true;