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