Documentation

This page contains all printable genuine HelenOS project documentation and papers.

Bachelor Theses

Master Theses

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

Slides

Documentation

The up-to-date documentation of HelenOS can be found in the HelenOS wiki. Developer documentation can be found under the Knowledge Articles page.

Obsolete 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.

  • HelenOS Networking (read on-line, pdf)
  • HelenOS USB Reference Documentation (html)
  • HelenOS USB Developer's & User's Documentation (pdf, html)
  • HelenOS 0.4.2 Networking stack (html)
  • HelenOS 0.2.0 Design Documentation (pdf, html)
  • HelenOS 0.2.0 User Manual (pdf)
  • HelenOS 0.2.0 Project Documentation (pdf)
  • HelenOS 0.2.0 Kernel (amd64) Reference Manual (html)
  • HelenOS 0.2.0 Kernel (ia32) Reference Manual (html)
  • HelenOS 0.2.0 Kernel (ia64) Reference Manual (html)
  • HelenOS 0.2.0 Kernel (mips32) Reference Manual (html)
  • HelenOS 0.2.0 Kernel (ppc32) Reference Manual (html)
  • HelenOS 0.2.0 Kernel (ppc64) Reference Manual (html)
  • HelenOS 0.2.0 Kernel (sparc64) Reference Manual (html)
  • HelenOS 0.2.0 Userspace (amd64) Reference Manual (html)
  • HelenOS 0.2.0 Userspace (ia32) Reference Manual (html)
  • HelenOS 0.2.0 Userspace (ia64) Reference Manual (html)
  • HelenOS 0.2.0 Userspace (mips32) Reference Manual (html)
  • HelenOS 0.2.0 Userspace (ppc32) Reference Manual (html)

HelenOS-doc repository

Note that some of the obsolete documentation above was generated from the content of our HelenOS-doc Subversion repository. Here are the instructions for checking the repository out.

For design documentation DocBook sources, use:
svn checkout svn://svn.helenos.org/HelenOS-doc/design/trunk design

For project documentation LaTeX sources, use:
svn checkout svn://svn.helenos.org/HelenOS-doc/prjdoc/trunk prjdoc

For user manual LaTeX sources, use:
svn checkout svn://svn.helenos.org/HelenOS-doc/usrman/trunk usrman

To check out reference manual build scripts and Doxygen files, issue the following command:
svn checkout svn://svn.helenos.org/HelenOS-doc/refman/trunk refman