HelenOS

A portable microkernel-based multiserver operating system written from scratch. This is an unofficial mirror of https://github.com/HelenOS