Distributed and Dependable Systems, Charles University, Prague. Besides that, HelenOS has been used by students as a platform for software projects and master theses. References External links HelenOS home page HelenOS theses, papers and documentation. HelenOS on GitHub Free software operating systems Microkernel-based operating systems MIPS operating systems X86 operating systems Microkernels Software using the BSD license Hobbyist operating systems