MikeOS.

A monolithic, high half kernel, compiled for x86 architecture, aimed for POSIX compatibility.

A hobby OS, which is being developed in my free time :-)