CastleKernel Open Source kernel for your RISC-V projects This kernel is from my SDR project that use RISC-V SoC. You can build with GCC but you need RISC-V toolchain for compiling. Also, there is some bugs you can fix it byself use qemu-riscv for booting.