Constant sel4_config::consts::PLAT_ZYNQMP

pub const PLAT_ZYNQMP: bool = false;