Popular repositories Loading

1. genode genode Public

   Forked from genodelabs/genode

   Genode OS Framework

   C++ 3

2. genode_stuff genode_stuff Public

   Some patches and scripts for Genode development

   3

3. foc 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 u-boot-linaro-stable Public

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

   C 1

5. seoul 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 NOVA Public

   Forked from alex-ab/NOVA

   NOVA Microhypervisor

   C++