One man, two kernels, and a lot of RISC-V

Yuri Zaporozhets has developed a new RISC-V-based operating system, QSOE, which runs on two kernels: Skimmer and seL4.