A QNX-inspired operating system with selectable kernels

QSOE Systems — QNX-inspired operating systems, RISC-V systems software, and FPGA work by Yuri Zaporozhets.