It seems that it is recommended to use Arty A7 board to embed a soft RISC-V CPU core (link), and load Linux into it. But BASYS 3 and Arty A7 have the same Xilinx Artix-7 FPGA (model: XC7A35T). So, is it possible to embed a RISC-V CPU into BASYS 3? Is there any technical difficulty (like very slow, etc.) that we must use Arty A7 or more advanced board? Many thanks for your advice.