Documentation

This page collects links to various sources of information about HelenOS. Other sources of information can be found directly in the project wiki and especially in User's Guide.

Publications

Here you can find various published HelenOS theses and papers. Note that the theses do not necessarily reflect the current state of HelenOS. In some cases, the theses may contain obsolete information or represent work that has never been integrated into the mainline HelenOS.

Doctoral theses

• Martin Děcký: Application of Software Components in Operating System Design, MFF UK, 2015, (​read on-line, ​pdf)

Master theses

• Michal Koutný: System daemon for HelenOS, MFF UK, 2016 (​read on-line, ​pdf)
• Jan Kolárik: IEEE 802.11 wireless networking for HelenOS, MFF UK, 2015 (​read on-line, ​pdf)
• Jan Mareš: Port of QEMU to HelenOS, MFF UK, 2015 (​read on-line, ​pdf)
• Zdeněk Bouška: HelenOS VFS-FUSE connector, MFF UK, 2014 (​read on-line, ​pdf)
• Adam Hraška: Read-Copy-Update for HelenOS, MFF UK, 2013 (​read on-line, ​pdf)
• Antonín Steinhauser: IPv6 for HelenOS, MFF UK, 2013 (​read on-line, ​pdf)
• Martin Sucha: Testing Framework for HelenOS, FMPH UNIBA, 2013 (​read on-line, ​pdf)
• Ján Veselý: HelenOS sound subsystem, MFF UK, 2013 (​read on-line, ​pdf)
• Petr Koupý: Graphics stack for HelenOS, MFF UK, 2013 (​read on-line, ​pdf)
• František Princ: HelenOS ext4 filesystem driver, MFF UK, 2012 (in Czech, ​read on-line, ​pdf)
• Jan Dolejš: HelenOS as Xen hypervisor, MFF UK, 2012 (in Czech, ​read on-line, ​pdf)
• Tomáš Benhák: HelenOS port to Xen hypervisor, MFF UK, 2012 (in Czech, ​read on-line, ​pdf)
• Štepán Henek: Security containers and access rights in HelenOS, MFF UK, 2011 (in Czech, ​read on-line, ​pdf)
• Vojtěch Horký: Support for NUMA hardware in HelenOS, MFF UK, 2011 (​read on-line, ​pdf)
• Jiří Tlach: Modern operating system without MMU, MFF UK, 2011 (in Czech, ​read on-line, ​pdf)
• Stanislav Kozina: HelenOS Monitoring, MFF UK, 2010 (​read on-line, ​pdf)
• Tomáš Brambora: Task Snapshotting in HelenOS, MFF UK, 2010 (​read on-line, ​pdf)
• Lenka Trochtová: Device drivers interface in HelenOS system, MFF UK, 2010 (in Czech, ​read on-line, ​pdf)
• Lukáš Mejdrech: Networking and TCP/IP stack for HelenOS system, MFF UK, 2009 (​read on-line, ​pdf)
• Pavel Římský: Support for UltraSPARC III, IV, T1 and T2 processors in HelenOS, MFF UK, 2009 (​read on-line, ​pdf)
• Jakub Váňa: Porting HelenOS to IA-64 architecture, MFF UK, 2008 (in Czech)
• Jiří Svoboda: Dynamic linker and debugging/tracing interface for HelenOS, MFF UK, 2008 (​read on-line, ​pdf)
• Jakub Jermář: Porting SPARTAN kernel to SPARC V9 architecture, MFF UK, 2007 (​read on-line, ​pdf)
• Martin Děcký: Mechanisms of Virtualizing Operating Systems Execution, 2006 (in Czech, ​read on-line, ​pdf)

Bachelor theses

• Jan Buchar: HelenOS packet filter, MFF UK, 2015 (​read on-line, ​pdf)
• Dominik Táborský: HelenOS Installer, MFF UK, 2014 (​read on-line, ​pdf)
• Jiří Zárevúcky: Improved VFS design for HelenOS, FI MUNI, 2013 (​read on-line, ​pdf)
• Martin Sucha: Ext2 Filesystem Support for HelenOS, FMPH UNIBA, 2011, (​read on-line, ​pdf)

Papers

• Martin Děcký: A Road to a Formally Verified General-Purpose Operating System (​read on-line, ​pdf)
  published in the Proceedings of the 1st International Symposium on Architecting Critical Systems (federated with CompArch 2010), Springer (LNCS 6150), ISBN 978-3-642-13555-2, June 2010
• Jakub Jermář: Implementation of filesystem in HelenOS operating system (in Czech, ​read on-line, ​pdf)
  published in the Proceedings of the 32nd EurOpen.CZ Conference, Rožmberk nad Vltavou, Czech Republic, May 2008
• Martin Děcký: Component-based General-purpose Operating System (​read on-line, ​pdf)
  published in Proceedings of WDS'07, Prague, Czech Republic, June 2007
• Publications, papers and theses
• Talks
• Historic project documentation
• User's Guide

Talks

FOSDEM

• Martin Děcký, ​Porting HelenOS to RISC-V, 2016 (​pdf, ​video)
• Jakub Jermář, ​Tools that helped to build HelenOS, 2016 (​pdf, ​video)
• Martin Děcký, ​What Could Microkernels Learn from Monolithic Kernels (and Vice Versa), 2015 (​pdf, ​video)
• Jakub Jermář, ​Autopsy of a multiserver deadlock in the HelenOS filesystem layer, 2015 (​pdf, ​video)
• Martin Děcký, ​Read-Copy-Update for HelenOS, 2014 (​pdf)
• Jakub Jermář, ​HelenOS annual update, 2014 (​pdf, ​video)
• Vojtěch Horký, ​HelenOS: last year at a glance, 2013 (​pdf)
• Martin Děcký, ​OS Hot Topics, 2013 (​pdf)
• Jakub Jermář, ​Every cloud has a silver lining and what we can learn from it, 2013 (​pdf)
• Jiří Svoboda, ​Dive into HelenOS Device Drivers, 2012 (​pdf)
• Martin Děcký, ​The microkernel overhead, 2012 (​pdf)
• Jakub Jermář, ​Introduction to HelenOS, 2012 (​pdf)
• Jakub Jermář, ​Welcome! or Why do we meet here today, 2012 (​pdf)

LinuxDays

• Martin Děcký, Presentation at ​LinuxDays 2013, 2013 (​read on-line, ​pdf)

D3S seminar

• Martin Děcký, HelenOS: State of the Union 2012, 2012 (​read on-line, ​pdf)
• Martin Děcký, HelenOS: State of the Union 2011, 2011 (​read on-line, ​pdf)
• Martin Děcký, HelenOS: State of the Union 2010, 2010 (​read on-line, ​pdf)
• Martin Děcký, HelenOS Architecture Description, 2009 (​read on-line, ​pdf)
• Martin Děcký, Presentation on HelenOS Architecture Description at ​Distributed Systems Research Group, Charles University in Prague, 2009 (​read on-line, ​pdf)
• Martin Děcký, Presentation at ​Distributed Systems Research Group, Charles University in Prague, 2006 (​read on-line, ​pdf)

Other

• Jakub Jermář, Presentation on Developing a Multiserver Operating System at UINX.CZ '10, 2010 (​read on-line, ​pdf)
• Jakub Jermář, Presentation on HelenOS VFS at ​EurOpen.CZ Conference, 2008, (​read on-line, ​pdf)
• Jakub Jermář, Presentation to ​Sun Microsystems' Solaris RPE group in Prague, 2006 (​read on-line, ​pdf)
• Martin Děcký, Presentation at ​Operating Systems Group, Technical University Dresden, 2006 (​read on-line, ​pdf)

Historic project documentation

Warning: The following documents, although containing comprehensive coverage of various areas of HelenOS, relate to older revisions of HelenOS or obsolete development branches. While the principal information is usually still correct, the implementation details might dramatically differ from the current state of the HelenOS source tree. Reader's consideration in required.

• Zdeňek Bouška, Jiří Michalec, Radim Vansa, Jan Záloha, HelenOS Networking, Software project, MFF UK, 2011 (​read-online, ​pdf)
• Matúš Dekánek, Vojtech Horký, Matej Klonfar, Ľuboš Slovák, Ján Veselý, USB subsystem in HelenOS, Software project, MFF UK, 2011 (​html, ​pdf)
• Jakub Jermář, Ondřej Palkovský, Martin Děcký, Jakub Váňa, Josef Čejka, Sergey Bondari, HelenOS 0.2.0 Design Documentation, Software project, MFF UK, 2006, (​html, ​pdf)
• Jakub Jermář, Ondřej Palkovský, Martin Děcký, Jakub Váňa, Josef Čejka, Sergey Bondari, HelenOS 0.2.0 User Manual, Software project, MFF UK, 2006, (​pdf)
• Jakub Jermář, Ondřej Palkovský, Martin Děcký, Jakub Váňa, Josef Čejka, Sergey Bondari, HelenOS 0.2.0 Project Documentation, Software project, MFF UK, 2006, (​pdf)