nfeske

genode-manual

Reference manual for the Genode OS Framework

dwc_otg

USB host-controller driver for Raspberry Pi

goa

Tool for streamlining the development of Genode applications

gosh

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

genode

Genode OS Framework

codezero

Codezero microkernel by B-Labs

foc

Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.

genodian

Content for genodians.org

bin

dope

The DOpE widget set for the Genode OS Framework

genode-pkg

Package-management infrastructure for Genode

goa-playground

Experimentation ground for using the Goa tool

cbe

genode-allwinner

Allwinner SoC support for the Genode OS framework

genode-imx

i.MX SoC family support for the Genode OS framework

genode-rpi

Raspberry Pi family support for Genode OS framework

genode-world

Collection of community-maintained components for Genode

genode-zynq

Zynq SoC support for the Genode OS framework

genodians.org

Website for stories around the Genode operating system

jschlatow-goa-pkgs

Personal repository for Goa packages