nfeske/genode-manual nfeske/genode-manual

  • Stars
    star
    23
  • Rank 1,014,100 (Top 21 %)
  • Language Tcl
  • License
    Other
  • Created almost 10 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nfeske/genode-manual
github

nfeske

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Reference manual for the Genode OS Framework

More Repositories

1

dwc_otg

USB host-controller driver for Raspberry Pi
C
13
star
2

gosh

Tool to convert plain text to LaTeX, HTML, and other formats
Tcl
11
star
3

codezero

Codezero microkernel by B-Labs
C
4
star
4

genodian

Content for genodians.org
3
star
5

genode-pkg

Package-management infrastructure for Genode
Makefile
1
star
6

goa-playground

Experimentation ground for using the Goa tool
Lua
1
star
7

bin

1
star
8

dope

The DOpE widget set for the Genode OS Framework
C
1
star