skalk

genode

Genode OS Framework

genode-devel-docker

Utility to handle a docker image/container for Genode development

linux

Linux kernel source tree

foc

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

genode-allwinner

Allwinner SoC support for the Genode OS framework

genode-world

Collection of community-maintained components for Genode

l4linux

Clone of L4Linux from tudos.org

skalk.github.io

Blog about daily system programming

ada-bfd

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

bbl-lite

RISC-V Proxy Kernel

compulab-linux-kernel-dts

Clone of the device tree subdirectory of Linux kernel for Compulab SoMs

dwc_otg

USB host-controller driver for Raspberry Pi

genode-chest

genode-imx

i.MX SoC family support for the Genode OS framework

genode-manual

Reference manual 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

genodian

genodians.org

Website for stories around the Genode operating system

morbo

A toolchain for Firewire booting and remote DMA

NOVA

NOVA Microhypervisor

seL4_tools

u-boot

"Das U-Boot" Source Tree