• Genode OS Framework

    C++ 294 137 Updated Dec 3, 2016
  • Collection of community-maintained components for Genode

    C++ 8 12 Updated Nov 24, 2016
  • [obsolete] Drivers ported from Linux 2.6 to Genode

    C 15 8 Updated Apr 29, 2015