Are there any dev kits to tinker with this? How does one get started?
https://www.xilinx.com/products/boards-and-kits/cost-optimiz...
If all you need is a RISC-V softcore, then there's plenty of options outside of Xilinx ecosystem. I like anything yosys/nextpnr supports well.