genode

There are 6 repositories under genode topic.

SirusDoma/Genode
Game Engine On Demand
Language:C#13 3 00
osfree-project/os3
OS/2 personality (OS/2 API implementation on top of different kernels)
Language:C7 4 02
dckc/genode-js-xs
JavaScript on genode using the Moddable XS engine
Language:Makefile1 3 13
a-dmg/NOVA
NOVA Microhypervisor r-22.52 for genode nova-next port.
Language:C++0 0 00
blitz/hello
The Genode Goa Hello World Example
Language:Nix3 0
zgzollers/nixpkgs-genode
Nix flakes/packages for developing and building systems based on the Genode OS Framework
Language:Nix2 1