The Wayback Machine - https://web.archive.org/web/20251208005627/https://github.com/genodelabs

Genode Labs

Pinned Loading

genode genode Public

Genode OS Framework

C++ 1.2k 264
goa goa Public

Tool for streamlining the development of Genode applications

Tcl 27 19

Repositories

genode-world Public
Collection of community-maintained components for Genode

genodelabs/genode-world’s past year of commit activity

C 48 46 10 0 Updated Dec 7, 2025
genode Public
Genode OS Framework

genodelabs/genode’s past year of commit activity

C++ 1,185 264 123 1 Updated Dec 5, 2025
genode-imx Public
i.MX SoC family support for the Genode OS framework

genodelabs/genode-imx’s past year of commit activity

C 10 13 1 0 Updated Dec 5, 2025
genode-allwinner Public
Allwinner SoC support for the Genode OS framework

genodelabs/genode-allwinner’s past year of commit activity

C 16 10 3 0 Updated Dec 5, 2025
goa Public
Tool for streamlining the development of Genode applications

genodelabs/goa’s past year of commit activity

Tcl 27 AGPL-3.0 19 5 1 Updated Dec 1, 2025
genode-zynq Public
Zynq SoC support for the Genode OS framework

genodelabs/genode-zynq’s past year of commit activity

C++ 7 11 0 0 Updated Dec 1, 2025
genode-rpi Public
Raspberry Pi family support for Genode OS framework

genodelabs/genode-rpi’s past year of commit activity

C++ 16 12 0 0 Updated Nov 27, 2025
genode-riscv Public
RISC-V board support

genodelabs/genode-riscv’s past year of commit activity

C++ 7 5 0 0 Updated Nov 27, 2025
genodians.org Public
Website for stories around the Genode operating system

genodelabs/genodians.org’s past year of commit activity

C++ 17 10 0 0 Updated Nov 21, 2025

People

Top languages

Most used topics

genode osdev cplusplus cpp arm