1
0
Fork
You've already forked genode-manual
0
Reference manual for the Genode OS Framework
  • Tcl 53%
  • TeX 23%
  • Makefile 17.1%
  • Shell 3.2%
  • PHP 2.4%
  • Other 1.3%
2025年10月29日 12:25:07 +01:00
applications fixup! applications: nfeske/goa-playground -> codeberg 2025年07月16日 11:53:17 +02:00
foundations Init's restart_after_skipped heartbeat attribute 2025年10月21日 17:42:37 +02:00
img foundations: fix compile error with texlive 2025 2025年07月17日 13:55:39 +02:00
platforms Adapt "Platforms" to base-hw source-tree changes 2023年05月30日 15:23:58 +02:00
sculpt sculpt: update to version 25.10 2025年10月29日 12:25:07 +01:00
.gitignore Alternative web build with separated sections 2019年05月22日 15:03:25 +02:00
LICENSE Initial document structure 2014年11月05日 15:30:16 +01:00
README Rearrange directory layout for second document 2020年04月17日 13:02:00 +02:00 

This repository contains the user manual for the Genode OS Framework.
:[https://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 Genode Foundations book, invoke 'make' from within the
'foundations/' directory.