Popular repositories Loading

1. genode-manual genode-manual Public archive

   Reference manual for the Genode OS Framework (migrated to codeberg.org)

   Tcl 24 13

2. dwc_otg dwc_otg Public archive

   USB host-controller driver for Raspberry Pi

   C 15 11

3. gosh gosh Public archive

   Tool to convert plain text to LaTeX, HTML, and other formats (migrated to codeberg.org)

   Tcl 13 9

4. genode genode Public

   Forked from genodelabs/genode

   Genode OS Framework

   C++ 9 2

5. codezero codezero Public archive

   Codezero microkernel by B-Labs

   C 5 2

6. genodian genodian Public archive

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

   4 1