Popular repositories

1. genode Public

   Forked from genodelabs/genode

   Genode OS Framework

   C++ 3

2. genode_stuff Public

   Some patches and scripts for Genode development

   3

3. foc Public

   Forked from ssumpf/foc

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

   C 2

4. u-boot-linaro-stable Public

   Cloned from git://git.linaro.org/boot/u-boot-linaro-stable.git

   C 2

5. seoul Public

   Forked from alex-ab/seoul

   A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.

   C++

6. NOVA Public

   Forked from alex-ab/NOVA

   NOVA Microhypervisor

   C++