genodelabs

genode-manual

Tcl 0 4

Reference manual for the Genode OS Framework

Updated 2026-09-18 20:19:49 +02:00

genode-world

C 2 10

Collection of community-maintained components for Genode

applications genode libraries osdev

Updated 2026-09-18 13:47:22 +02:00

genode

C++ 35 16

Genode OS Framework

arm cplusplus cpp framework genode goa hypervisor linux microkernel nova object-capabilities operating-system osdev riscv sculpt-os sel4 virtualization x86

Updated 2026-09-18 13:41:04 +02:00

goa

Tcl 7 14

Tool for streamlining the development of Genode applications

cplusplus cpp gcc genode goa linux osdev sculpt-os tool

Updated 2026-09-18 06:37:02 +02:00

genode-imx

C 3 9

i.MX SoC family support for the Genode OS framework

aarch64 arm armv7 armv8 cplusplus cpp genode hypervisor imx6 imx7 imx8 microkernel osdev virtualization

Updated 2026-08-27 15:16:25 +02:00

genode-allwinner

C 1 6

Allwinner SoC support for the Genode OS framework

aarch64 allwinner-a64 arm cplusplus cpp genode osdev pinephone

Updated 2026-08-27 15:16:23 +02:00

genode-riscv

C++ 0 5

RISC-V board support

cplusplus cpp genode microkernel osdev riscv

Updated 2026-08-25 13:55:53 +02:00

genode-rpi

C++ 2 6

Raspberry Pi family support for Genode OS framework

aarch64 arm armv6 armv8 cplusplus cpp genode microkernel osdev raspberry-pi

Updated 2026-08-25 13:54:01 +02:00

genode-zynq

C++ 0 5

Zynq SoC support for the Genode OS framework

arm armv7 cplusplus cpp genode microkernel osdev zybo zynq

Updated 2026-08-25 13:52:32 +02:00

genodians.org

C++ 1 5

Website for stories around the Genode operating system

blog documentation genode genodians goa howto osdev sculpt-os

Updated 2026-08-11 12:43:47 +02:00

gosh

Tcl 0 3

Tool to convert plain text to LaTeX, HTML, and other formats

Updated 2026-05-29 10:39:40 +02:00

genodelabs

Members 8