It is my understanding that Antmicro want to support the KCU105 dev boards. * [KCU104](https://www.xilinx.com/products/boards-and-kits/kcu105.html) - XCKU040-2FFVA1156E FPGA
