It is my understanding that Antmicro want to support the ZCU10[45] dev boards. * [ZCU104](https://www.xilinx.com/products/boards-and-kits/zcu104.html) - Zynq UltraScale+ XCZU7EV-2FFVC1156 MPSoC * [ZCU102](https://www.xilinx.com/products/boards-and-kits/ek-u1-zcu102-g.html) - Zynq UltraScale+ XCZU9EG-2FFVB1156 MPSoC
It is my understanding that Antmicro want to support the ZCU10[45] dev boards.