NeKernel is a microkernel project written in modern C++. I just shipped a new release, v0.1.21, with improved APIs and a new WiP language frontend in Nectar's repository. The following link points to the NeKernel software distribution and its development branch, please give it a star here: https://github.com/nekernel-org/src