Genode Labs

Dresden, Germany

Pinned Repositories

genode
Genode OS Framework
Language:C++1.1k 81 5.2k257
genode-allwinner
Allwinner SoC support for the Genode OS framework
Language:C15 10 3110
genode-imx
i.MX SoC family support for the Genode OS framework
Language:C9 10 1111
genode-riscv
RISC-V board support
Language:C++5 9 25
genode-rpi
Raspberry Pi family support for Genode OS framework
Language:C++14 10 111
genode-world
Collection of community-maintained components for Genode
Language:C46 17 26647
genode-zynq
Zynq SoC support for the Genode OS framework
Language:C++6 9 111
genodians.org
Website for stories around the Genode operating system
Language:C++17 8 2910
goa
Tool for streamlining the development of Genode applications
Language:Tcl22 13 9519

Genode Labs's Repositories

genodelabs/genode
Genode OS Framework
Language:C++1.1k 81 5.2k257
genodelabs/genode-world
Collection of community-maintained components for Genode
Language:C46 17 26647
genodelabs/goa
Tool for streamlining the development of Genode applications
Language:Tcl22 13 9519
genodelabs/genodians.org
Website for stories around the Genode operating system
Language:C++17 8 2910
genodelabs/genode-allwinner
Allwinner SoC support for the Genode OS framework
Language:C15 10 3110
genodelabs/genode-rpi
Raspberry Pi family support for Genode OS framework
Language:C++14 10 111
genodelabs/genode-imx
i.MX SoC family support for the Genode OS framework
Language:C9 10 1111
genodelabs/genode-zynq
Zynq SoC support for the Genode OS framework
Language:C++6 9 111
genodelabs/genode-riscv
RISC-V board support
Language:C++5 9 25