sel4_config::consts

Constant PLAT_HIFIVE

Source 
pub const PLAT_HIFIVE: bool = false;