Follow us on Google+ Follow us on Facebook Follow us on Twitter

Documentation

One stop shop for all HelenOS documentation.

Guides

Publications

Note that these theses and papers 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

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

Talks

Avast TechTalks

FOSDEM

LinuxDays

D3S seminar

Other

Historic project documentation

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)
Last modified 5 months ago Last modified on 2016-04-20T13:07:29Z