NeKernel is a functioning microkernel written in modern C++Its main goal is OS research on C++ in microkernels.