-
Notifications
You must be signed in to change notification settings - Fork 12
Reference manual for the Genode OS Framework
License
nfeske/genode-manual
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
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.
About
Reference manual for the Genode OS Framework
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published