Beast code in Giters

Genode Labs's repositories

Genode OS Framework

Language:C++NOASSERTION1046 82 5074

Collection of community-maintained components for Genode

Language:CNOASSERTION44 18 252

Tool for streamlining the development of Genode applications

Language:TclAGPL-3.018 13 81

Website for stories around the Genode operating system

Language:CSSNOASSERTION17 8 28

Allwinner SoC support for the Genode OS framework

Language:CNOASSERTION13 11 31

Raspberry Pi family support for Genode OS framework

Language:C++NOASSERTION12 10 1

i.MX SoC family support for the Genode OS framework

Language:CNOASSERTION8 10 8

Zynq SoC support for the Genode OS framework

Language:C++NOASSERTION6 10 1

RISC-V board support

Language:C++NOASSERTION5 10 2