sel4_config::consts

Constant PLAT_POLARFIRE

Source 
pub const PLAT_POLARFIRE: bool = false;