Yeah, it's Xilinx AIE, stuff that was already supported on Linux - but it was differently connected on 7040: the AIE module being connected direct to Infinity F

Yeah, it's Xilinx AIE, stuff that was already supported on Linux - but it was differently connected on 7040: the AIE module being connected direct to Infinity Fabric, masquerading as PCIE device, instead of existing PCIE driver which assumed mediation done by on-fpga CPU etc. At least that's how it looked from what I've read in XRT docs so far. This driver both provides necessary interface in place of an ARM core talking direct over AXI buses, and the glue logic to enable use of XRT.