I'm working on an open source SYZYGY carrier board powered by Zynq 7000 SOC. My goal is to create a simple yet usable platform for SDR experiments. The hardware design is done with KiCad, and everything including the firmware is available publicly.
https://electrodyssey.net/nasr-m-syzygy-carrier-board.html
https://github.com/electrodyssey/NASR-M