Documentation

This page contains all printable genuine HelenOS project documentation.

Master Theses

• Martin Decky: Mechanisms of Virtualizing Operating Systems Execution (in Czech)
• Jakub Jermar: Porting SPARTAN kernel to SPARC V9 architecture (read on-line, pdf)
• Jiri Svoboda: Dynamic linker and debugging/tracing interface for HelenOS (read on-line, pdf)
• Jakub Vana: Porting HelenOS to IA-64 architecture (in Czech)
• Pavel Rimsky: Support for UltraSPARC III, IV, T1 and T2 processors in HelenOS (read on-line, pdf)
• Lukas Mejdrech: Networking and TCP/IP stack for HelenOS system (read on-line, pdf)

Papers

• Martin Decky: Component-based General-purpose Operating System (read on-line, pdf)
  published in Proceedings of WDS'07, Prague, Czech Republic, Jun 2007
• Jakub Jermar: Implementation of filesystem in HelenOS operating system (in Czech, read on-line, pdf)
  published in the Proceedings of the 32nd EurOpen.CZ Conference, Rozmberk nad Vltavou, Czech Republic, May 2008

Slides

• Presentation on Developing a Multiserver Operating System at UINX.CZ '10 by Jakub Jermar (read on-line, pdf)
• Presentation on HelenOS Architecture Description at Distributed Systems Research Group, Charles University in Prague by Martin Decky (read on-line, pdf)
• Presentation on HelenOS VFS at EurOpen.CZ Conference by Jakub Jermar (read on-line, pdf)
• Presentation to Sun Microsystems' Solaris RPE group in Prague by Jakub Jermar (read on-line, pdf)
• Presentation at Distributed Systems Research Group, Charles University in Prague by Martin Decky (read on-line, pdf)
• Presentation at Operating Systems Group, Technical University Dresden by Martin Decky (read on-line, pdf)

Wiki Articles

• IPC for Dummies (html)
• Implementation and design of the file system layer (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