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

Wiki Articles

  • IPC for Dummies (html)
  • Implementation and design of the file system layer (html)

HelenOS NICF Documentation

HelenOS USB Documentation

  • HelenOS USB Reference Documentation (html)
  • HelenOS USB Developer's & User's Documentation (pdf, html)

Obsolete 0.4.2 Reference Manuals

  • Networking stack (html)

Obsoleted 0.2.0 Project Documentation

  • HelenOS 0.2.0 Design Documentation (pdf, html)
  • HelenOS 0.2.0 User Manual (pdf)
  • HelenOS 0.2.0 Project Documentation (pdf)

Obsoleted 0.2.0 Reference Manual

  • HelenOS Kernel (amd64) Documentation (html)
  • HelenOS Kernel (ia32) Documentation (html)
  • HelenOS Kernel (ia64) Documentation (html)
  • HelenOS Kernel (mips32) Documentation (html)
  • HelenOS Kernel (ppc32) Documentation (html)
  • HelenOS Kernel (ppc64) Documentation (html)
  • HelenOS Kernel (sparc64) Documentation (html)
  • HelenOS Userspace (amd64) Documentaion (html)
  • HelenOS Userspace (ia32) Documentaion (html)
  • HelenOS Userspace (ia64) Documentaion (html)
  • HelenOS Userspace (mips32) Documentaion (html)
  • HelenOS Userspace (ppc32) Documentaion (html)

HelenOS-doc repository

Note that some of the 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