This website requires JavaScript.

genodelabs

genode

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年07月02日 16:00:37 +02:00

genode-world

C 1 10

Collection of community-maintained components for Genode

applications genode libraries osdev

Updated 2026年07月01日 08:40:09 +02:00

genode-rpi

C++ 1 6

Raspberry Pi family support for Genode OS framework

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

Updated 2026年06月29日 11:37:58 +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年06月26日 15:50:07 +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年06月26日 07:34:06 +02:00

genode-imx

C 2 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年06月22日 07:31:28 +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年06月12日 08:02:32 +02:00

genode-manual

Tcl 0 4

Reference manual for the Genode OS Framework

Updated 2026年06月08日 18:05:06 +02:00

goa

Tcl 6 11

Tool for streamlining the development of Genode applications

cplusplus cpp gcc genode goa linux osdev sculpt-os tool

Updated 2026年06月08日 10:50:49 +02:00

genode-riscv

C++ 0 5

RISC-V board support

cplusplus cpp genode microkernel osdev riscv

Updated 2026年05月29日 11:24:36 +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