HelenOS 0.5.0 is the latest public release of a research operating system based on the microkernel design principle.
