Harman Patil


Updated on
Share on FacebookTweet on TwitterShare on LinkedIn
Source model  Open source
License  BSD
Kernel type  Microkernel
HelenOS About HelenOS
OS family  Multiserver operating systems
Latest release  0.6.0 / December 21, 2014 (2014-12-21)
Platforms  IA-32, AMD64, IA-64, ARM, MIPS, PowerPC, SPARC V9

Fosdem 2014 helenos annual update

HelenOS is an operating system based on a multiserver microkernel design. The source code of HelenOS is published under a BSD License.


HelenOS DistroWatchcom Put the fun back into computing Use Linux BSD

Sou botafogo

Technical overview

The microkernel handles multitasking, memory management and inter-process communication. It also provides kernel-based threads and supports symmetric multiprocessing.

HelenOS httpslh6googleusercontentcomM2r8QsdBGgAAA

Each process (called task) can contain several threads (preemptively scheduled by the kernel) which, in turn, can contain several fibers scheduled cooperatively in user space. Device and file-system drivers, as well as other system services, are implemented by a collection of user-space tasks (servers), creating thus the multiserver nature of HelenOS.

HelenOS GitHub tomekkuphelenos Helenos is a free web based environment

Tasks communicate via HelenOS IPC, which is connection-oriented and asynchronous. It can be used to send small fixed-size messages, blocks of bytes or to negotiate sharing of memory. Messages can be forwarded without copying bulk data or mapping memory to the address space of middle-men tasks.


HelenOS GitHub tomekkuphelenos Helenos is a free web based environment

HelenOS development is community-driven. The developer community consists of a small core team, mainly staff and former and contemporary students of the Faculty of Mathematics and Physics at Charles University in Prague, and a number of contributors around the world. In 2011, 2012 and 2014, HelenOS participated in the Google Summer of Code as a mentoring organization. In 2013, the project was a mentoring organization in the ESA Summer of Code in Space 2013 program.

The source code of HelenOS is published under the BSD licence, while some third-party components are available under the GNU General Public License. Both of these licences are free software licences, making HelenOS free software.

Hardware support

HelenOS runs on several different CPU architectures including ARM, x86-64, IA-32, IA-64 (Itanium), MIPS, PowerPC (32-bit only), and SPARC V9. At some point in time, various versions of HelenOS ran on real hardware from each architecture (as opposed to running only in a simulator of that architecture).

HelenOS supports PATA, SATA, USB mass storage, USB HID, an Atheros USB WiFi dongle, several Ethernet network cards, SoundBlaster 16 and Intel HDA audio devices, serial ports, keyboards, mice and framebuffers.

Research and academic use

HelenOS is being used for research in the area of software components and verification by the Department of Distributed and Dependable Systems, Charles University, Prague. Besides that, HelenOS has been used by students as a platform for software projects and master theses.


HelenOS Wikipedia

Similar Topics
Wont Last a Day Without You
Gregory Michael Aymond