ssumpf

foc

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

genode

Genode OS Framework

l4linux

Clone of L4Linux from tudos.org

linux_drivers

Drivers ported from Linux 2.6 to Genode

ktray

KTRAY (simple Qt-based keyboard-status indicator for system tray)

pistachio

L4Ka::Pistachio micro-kernel

genode-world

Collection of community-maintained components for Genode

seoul

A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.

bbl-lite

RISC-V Proxy Kernel

genode-manual

Reference manual for the Genode OS Framework

genodian

Content for genodians.org

goa-projects

Genode Goa projects.

2015-xdc-genode

Slides from my 2015 XDC talk in Toronto

cbe

dwc_otg

USB host-controller driver for Raspberry Pi

genode-allwinner

Allwinner SoC support for the Genode OS framework

genode-generated

generated files for ports

genode-imx

i.MX SoC family support for the Genode OS framework

genode-riscv

RISC-V board support

genode-rpi

Raspberry Pi family support for Genode OS framework

genode-zynq

Zynq SoC support for the Genode OS framework

genodians.org

Website for stories around the Genode operating system

goa

Tool for streamlining the development of Genode applications

jdk_generated

Generated JDK headers and architecture files

mesa_generated

Generated mesa headers and source files

NOVA

NOVA Microhypervisor

riscv-fesvr

RISC-V Frontend Server

riscv-gnu-toolchain

GNU toolchain for RISC-V, including GCC 5.2.0

riscv-isa-sim

RISC-V Functional ISA Simulator

rump

rump kernels sources from NetBSD CVS