2021-12-04 / Last updated : 2022-12-09 admin FPGA Running RISC-V Debian on FPGA boards using Vivado We have succeeded in configuring SoCs with 64-bit RISC-V Rocket Chip using Vivado, and running RISC-V Debian on two FPGA boards, the Qmtech Wukong board and the Digilent Nexys Video.