HelenOS je výzkumný a vývojový operační systém založený na mikrokernelovém návrhu, který je používán pro účely výzkumu, výuky i praktického použití.
