About HelenOS

HelenOS features in a single screenshot. The image depicts the HelenOS graphical user interface, networking, filesystems, and a multithreaded, multiprocessor 64-bit kernel in action. The ​Colorful Prague picture used in the screenshot is a courtesy of ​Miroslav Petrasko.

HelenOS is a portable microkernel-based multiserver operating system designed and implemented from scratch. It decomposes key operating system functionality such as file systems, networking, device drivers and graphical user interface into a collection of fine-grained user space components that interact with each other via message passing. A failure or crash of one component does not directly harm others. HelenOS is therefore flexible, modular, extensible, fault tolerant and easy to understand.

HelenOS aims to be compatible with the C11 and C++14 standards, but does not aspire to be a clone of any existing operating system and trades compatibility with legacy APIs for cleaner design. Most of HelenOS components have been made to order specifically for HelenOS so that its essential parts can stay free of adaptation layers, glue code, franken-components and the maintenance burden incurred by them.

HelenOS runs on eight different processor architectures and machines ranging from embedded ARM devices and single-board computers through multicore 32-bit and 64-bit desktop PCs to 64-bit Itanium and SPARC rack-mount servers.

HelenOS is open source, free software. Its source code is available under the BSD license. Some third-party components are licensed under GPL.

Quick download link

The latest released IA-32 ISO image is HelenOS-0.12.1-ia32.iso (instructions). See downloads for more options.

Nightly ISO for amd64 is ​here. Other nightly builds are available from ​ci.helenos.org.