Genode Labs

Popular repositories

1. genode Public

   Genode OS Framework

   C++ 788 226

2. genode-world Public

   Collection of community-maintained components for Genode

   C++ 37 37

3. linux_drivers Public archive

   [obsolete] Drivers ported from Linux 2.6 to Genode

   C 15 6

4. genodians.org Public

   Website for stories around the Genode operating system

   CSS 10 10