Popular repositories Loading

1. genode-manual genode-manual Public

   Reference manual for the Genode OS Framework

   Tcl 23 12

2. dwc_otg dwc_otg Public

   USB host-controller driver for Raspberry Pi

   C 13 11

3. gosh gosh Public

   Tool to convert plain text to LaTeX, HTML, and other formats

   Tcl 11 9

4. genode genode Public

   Forked from genodelabs/genode

   Genode OS Framework

   C++ 9 2

5. codezero codezero Public

   Codezero microkernel by B-Labs

   C 4 2

6. foc foc Public

   Forked from ssumpf/foc

   Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.

   C 3 1