Popular repositories Loading

1. genode-manual genode-manual Public

   Reference manual for the Genode OS Framework

   Tcl 24 13

2. dwc_otg dwc_otg Public

   USB host-controller driver for Raspberry Pi

   C 15 11

3. gosh gosh Public

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

   Tcl 13 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 5 2

6. genodian genodian Public archive

   Content for genodians.org (migrated to codeberg.org)

   4 1