Popular repositories

1. genode genode Public

   Forked from genodelabs/genode

   Genode OS Framework

   C++ 16 8

2. genode-devel-docker genode-devel-docker Public

   Utility to handle a docker image/container for Genode development

   Dockerfile 4 1

3. linux linux Public

   Forked from torvalds/linux

   Linux kernel source tree

   C 3 3

4. foc foc Public

   Forked from ssumpf/foc

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

   C++ 1 4

5. l4linux l4linux Public archive

   Forked from ssumpf/l4linux

   Clone of L4Linux from tudos.org

   C 1

6. genode-world genode-world Public

   Forked from genodelabs/genode-world

   Collection of community-maintained components for Genode

   C++ 1