HelenOS/helenos

Health v2 · maintenance only

Flags: no_license

Adoption not part of the score

1583 stars · 160 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

HelenOS is a portable microkernel-based multiserver operating system written from scratch in C, decomposing OS functionality like file systems, networking, drivers, and GUI into fine-grained user space components communicating via message passing. It runs on eight processor architectures, from embedded ARM devices to multicore 64-bit servers, and is licensed under BSD.

Use cases

• study a microkernel-based operating system design
• run a modular fault-tolerant OS in QEMU
• research message-passing OS architectures
• develop an operating system for embedded ARM devices
• explore multiserver OS component isolation
• learn operating system internals from clean source code

When to choose

• you want to study or contribute to a clean, from-scratch microkernel OS design
• you need a research or educational OS with strong component isolation
• you want an OS that runs on many architectures including embedded ARM and SPARC
• you prefer BSD-licensed open source software

When to avoid

• you need a production OS with Linux application compatibility
• you rely on legacy POSIX APIs or existing software ecosystems
• you need mature hardware driver support for modern devices
• you want a turnkey desktop or server operating system

Facets

application · maturity active

gui networking file-system concurrency operating-systems embedded-systems developer-tools cross-platform cpp c microkernel multiserver operating-system message-passing research-os bsd-license portable operating-systems arm

Member repositories

For agents

markdown · JSON · MCP: product_card(name="HelenOS/helenos")