chelmuth

genode

Genode OS Framework

genodian

Content for genodians.org

genode-allwinner

Allwinner SoC support for the Genode OS framework

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

goa

Tool for streamlining the development of Genode applications

goa-projects

Applications ported to Genode using Goa

amtterm

amtterm mirror

chelmuth.github.io

Tinkering with Genode blog

foc

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

g2fg

GRUB2 for Genode

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

gosh

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

grub

ipxe

iPXE network bootloader

lua

Lua programming language

morbo

A toolchain for Firewire booting and remote DMA

NOVA

NOVA Microhypervisor

seL4

The seL4 microkernel

tiobench

Threaded IO Benchmark

xkb2ifcfg

Libxkbcommon-based Genode input_filter keyboard-layout generator