HelenOS je svobodný operační systém českého původu založený na architektuře mikrojádra. Vznikl jako softwarový projekt na Matematicko-fyzikální fakultě Univerzity Karlovy. Běží na architekturách IA-32, x86-64, SPARC V9, IA-64, PowerPC, ARM, MIPS.
Jádro systému implementuje multitasking, virtuální paměť, symetrický multiprocessing a meziprocesovou komunikaci. Souborový systém, ovladače zařízení a další služby systému jsou implementovány jako běžné uživatelské procesy.
Studenti MFF UK používají HelenOS jako platformu pro psaní seminárních prací na předmět Operační systémy a také bakalářských a magisterských diplomových prací.
