BasicOS
An experimental Operating System
BasicOS is a minimalistic, POSIX compliant, microkernel designed with performance in mind. It has been modeled after the L4ka microkernel for its speed, performance, and simplicity.
In its current state, BasicOS is still under development and will most likely not work out of the box.