RIOT on a VexRiscv and SpinalHDL FPGA softcore

[bergzand]

I’m not the first to run RIOT on an FPGA, there was RIOT OS port for the icoBoard FPGA board - icoSoC / picorv32 RISC-V platform before running RIOT on a different RISC-V core.