require linux-xilinx-configs.inc require linux-xilinx-machines.inc COMPATIBLE_MACHINE_zynqmp = "zynqmp"