PLAT_HIFIVE

sel4_config::consts

Constant PLAT_HIFIVE 

Source 
pub const PLAT_HIFIVE: bool = false;