Pinned Loading

1. NOVA NOVA Public

   Forked from udosteinberg/NOVA

   NOVA Microhypervisor

   C++ 11 11

2. seoul seoul Public

   Forked from TUD-OS/seoul

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

   C++ 6 4

3. genode-chest genode-chest Public

   C++ 2

4. genode genode Public

   Forked from genodelabs/genode

   Genode OS Framework

   C++ 6

5. g2fg g2fg Public

   GRUB2 for Genode

   Shell 2

6. genode-world genode-world Public

   Forked from genodelabs/genode-world

   Collection of community-maintained components for Genode

   C