RFSoCs seem like extreme overkill for this frequency range, though since Xiphos makes a space-grade one, it's not so unreasonable I guess.

Alas, I'm working on a competing project that I won't go into detail about :).