sel4_config::consts

Constant PLAT_ZYNQ7000

Source 
pub const PLAT_ZYNQ7000: bool = false;