Giters
nfeske
/
genode-manual
Reference manual for the Genode OS Framework
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
23
Watchers:
9
Issues:
5
Forks:
12
nfeske/genode-manual Issues
Build error for `img/nested_config.pdf`
Updated
2 years ago
Comments count
5
Build failed due to missing chapter tag
Updated
4 years ago
Comments count
2
Make failed because of no 64ee151d07a65dd0a77039817cb9a7fa11b53a6e in genode.git
Closed
5 years ago
Web Version
Closed
5 years ago
Comments count
8
Warnings when generating grayscale PNGs for epub
Closed
5 years ago
Comments count
3