This repository contains the user manual for the Genode OS Framework.

:[http://genode.org]:

  Website of the Genode OS Framework

The material is published under the terms of the CC-BY-SA license.

To build the manual, the following tools need to be installed:

* GOSH [https://github.com/nfeske/gosh] for converting the text into LaTeX.
  Make sure that the 'gosh' program can be found via your shell's PATH
  variable, e.g., by adding a symlink to one of your bin directories.
* Tcl as required by GOSH
* texlive-latex-extra (for pdflatex), texlive-pictures (for Tikz),
  texlive-fonts-extra, texlive-fonts-recommended
* GNU make

To build the manual, invoke 'make' from within the 'manual/' directory.