Christian Helmuth chelmuth · he/him
6 followers · 6 following
Repositories
12
 Projects Packages Public activity Starred repositories
1
Filter
Sort
genode
C++ 0 0
Genode OS Framework
Updated 2026-09-08 14:42:04 +02:00
genode-world
C 0 0
Collection of community-maintained components for Genode
Updated 2026-09-04 11:47:56 +02:00
genode-zynq
C++ 0 0
Zynq SoC support for the Genode OS framework
Updated 2026-08-25 14:02:22 +02:00
genode-rpi
C++ 0 0
Raspberry Pi family support for Genode OS framework
Updated 2026-08-25 14:01:48 +02:00
genode-riscv
C++ 0 0
RISC-V board support
Updated 2026-08-25 14:01:42 +02:00
genode-imx
C 0 0
i.MX SoC family support for the Genode OS framework
Updated 2026-08-25 14:01:21 +02:00
genode-allwinner
C 0 0
Allwinner SoC support for the Genode OS framework
Updated 2026-08-25 14:00:36 +02:00
goa
Tcl 0 0
Tool for streamlining the development of Genode applications
Updated 2026-06-03 11:08:03 +02:00
genodian
0 0
Content for genodians.org
Updated 2026-06-02 11:07:01 +02:00
gosh
Tcl 0 0
Tool to convert plain text to LaTeX, HTML, and other formats
Updated 2026-02-24 12:29:53 +01:00
genode-manual
Tcl 0 0
Reference manual for the Genode OS Framework
Updated 2026-02-24 12:29:39 +01:00
genodians.org
C++ 0 0
Website for stories around the Genode operating system
Updated 2025-12-15 15:49:27 +01:00