Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro - View it on GitHub