English HelenOS Cited by user Polluks on 24 Feb 2024 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.