PLAT_PC99

sel4_config::consts

Constant PLAT_PC99 

Source 
pub const PLAT_PC99: bool = false;