PLAT_ZYNQ7000

sel4_config::consts

Constant PLAT_ZYNQ7000 

Source 
pub const PLAT_ZYNQ7000: bool = false;