RFSoC-PYNQ
The RFSoC 4x2 board files can be found on the RealDigital website:
https://www.realdigital.org/hardware/rfsoc-4x2
The BSP (Board Support Project) files can be found on the RealDigital GitHub repository:
https://github.com/RealDigitalOrg/RFSoC4x2-BSP