RFSoC-PYNQ
The RFSoC 4x2 board files can be found on the RealDigital website:
https://www.realdigital.org/hardware/rfsoc-4x2