GitHub topics: genode
genodelabs/genode-zynq
Zynq SoC support for the Genode OS framework
Language: C++ - Size: 408 KB - Last synced at: 3 days ago - Pushed at: 11 days ago - Stars: 6 - Forks: 11
genodelabs/genode-allwinner
Allwinner SoC support for the Genode OS framework
Language: C - Size: 1.03 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 16 - Forks: 10
genodelabs/genode
Genode OS Framework
Language: C++ - Size: 70.1 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 1,111 - Forks: 258
genodelabs/goa
Tool for streamlining the development of Genode applications
Language: Tcl - Size: 499 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 22 - Forks: 19
genodelabs/genode-world
Collection of community-maintained components for Genode
Language: C - Size: 3.53 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 46 - Forks: 47
genodelabs/genode-rpi
Raspberry Pi family support for Genode OS framework
Language: C++ - Size: 198 KB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 14 - Forks: 11
genodelabs/genode-riscv
RISC-V board support
Language: C++ - Size: 108 KB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 5 - Forks: 5
genodelabs/genode-imx
i.MX SoC family support for the Genode OS framework
Language: C - Size: 1.48 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 9 - Forks: 11
genodelabs/genodians.org
Website for stories around the Genode operating system
Language: C++ - Size: 115 KB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 10
SirusDoma/Genode.Sharp 📦
Game Engine On Demand
Language: C# - Size: 3.37 MB - Last synced at: 4 months ago - Pushed at: about 7 years ago - Stars: 13 - Forks: 0
a-dmg/NOVA Fork of udosteinberg/NOVA
NOVA Microhypervisor r-22.52 for genode nova-next port.
Size: 6.21 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
osfree-project/os3
OS/2 personality (OS/2 API implementation on top of different kernels)
Language: C - Size: 9.79 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 2
dckc/genode-js-xs
JavaScript on genode using the Moddable XS engine
Language: Makefile - Size: 49.8 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
blitz/hello
The Genode Goa Hello World Example
Language: Nix - Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
