We have succeeded in running the Zephyr, a real-time OS, by using the LiteX/VexRiscv to assemble 32-bit RISC-V SoC for the Wukong board, an FPGA board from Qmtech. We have also been successful with the Arty A7-35T, an FPGA board from Digilent.