This is the RTL sources for riscv zynq rocket core. - View it on GitHub