HelenOS
Operating system
HelenOS is an operating system based on a multiserver microkernel design. The source code of HelenOS is written in C and published under the BSD-3-Clause license.
The system is described as a “research development open-source operating system”. Wikipedia
Programming language: C
OS family: Multiserver operating systems
Package manager: coastline packages
Source model: Open source