A microkernel Operating system written- and using only C code. The aim is to have maximum correctness in the code, and for the OS to be as reliable and minimal as possible. Everything possible should be in sandboxes/jails, with a "snapshotter" to fall back to last stable state. All of the parts in the OS will have generic names. The target platform is first the RISC-V 64-bit.