Documentation
This page contains all printable genuine HelenOS project documentation and papers.
Bachelor Theses
- Martin Sucha: Ext2 Filesystem Support for HelenOS, 2011 (read on-line, pdf)
Master Theses
- Frantisek Princ: HelenOS ext4 filesystem driver, 2012 (in Czech, read on-line, pdf)
- Jan Dolejs: HelenOS as Xen hypervisor, 2012 (in Czech, read on-line, pdf)
- Tomas Benhak: HelenOS port to Xen hypervisor, 2012 (in Czech, read on-line, pdf)
- Stepan Henek: Security containers and access rights in HelenOS, 2011 (in Czech, read on-line, pdf)
- Vojtech Horky: Support for NUMA hardware in HelenOS, 2011 (read on-line, pdf)
- Jiri Tlach: Modern operating system without MMU, 2011 (in Czech, read on-line, pdf)
- Stanislav Kozina: HelenOS Monitoring, 2010 (read on-line, pdf)
- Tomas Brambora: Task Snapshotting in HelenOS, 2010 (read on-line, pdf)
- Lenka Trochtova: Device drivers interface in HelenOS system, 2010 (in Czech, read on-line, pdf)
- Lukas Mejdrech: Networking and TCP/IP stack for HelenOS system, 2009 (read on-line, pdf)
- Pavel Rimsky: Support for UltraSPARC III, IV, T1 and T2 processors in HelenOS, 2009 (read on-line, pdf)
- Jakub Vana: Porting HelenOS to IA-64 architecture, 2008 (in Czech)
- Jiri Svoboda: Dynamic linker and debugging/tracing interface for HelenOS, 2008 (read on-line, pdf)
- Jakub Jermar: Porting SPARTAN kernel to SPARC V9 architecture, 2007 (read on-line, pdf)
- Martin Decky: Mechanisms of Virtualizing Operating Systems Execution, 2006 (in Czech, read on-line, pdf)
Papers
- Martin Decky: 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 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 - Martin Decky: Component-based General-purpose Operating System (read on-line, pdf)
published in Proceedings of WDS'07, Prague, Czech Republic, June 2007
Slides
- HelenOS: State of the Union 2012, by Martin Decky (read on-line, pdf)
- HelenOS: State of the Union 2011, by Martin Decky (read on-line, pdf)
- HelenOS: State of the Union 2010, by Martin Decky (read on-line, pdf)
- HelenOS Architecture Description, by Martin Decky (read on-line, pdf)
- 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
HelenOS NICF Documentation
- HelenOS Networking (read on-line, pdf)
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
