m-stein

genode

Genode OS Framework

linux

Personal adaptions of the Linux kernel

genode_binaries

Binaries of Genode scenarios

uboot

Personal adaptions of the Uboot bootloader

ada-runtime

ada-runtime-alis

Stripped .ali files for use as Genode API description

cbe

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

i.MX SoC family support for the Genode OS framework

genode-manual

Reference manual for the Genode OS Framework

genode-world

Collection of community-maintained components for Genode

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

genode_hdl_env

Integration of HDL designs by emulating access wich regards their interface.

genode_libmbim_generated

Generated files of libmbim that are required for the Genode port

genode_related

Genode related files not part of the official branches

genodian

genodians.org

Website for stories around the Genode operating system

goa

This fork of the nfeske/goa repository is only for storing my adaptations till they get merged to nfeske/goa.

goa_projects

My Genode projects created for use with Genode's GOA tool

gosh

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

libsparkcrypto

A cryptographic library in SPARK 2014

libsparkcrypto-alis

m-stein.github.io

morbo

A toolchain for Firewire booting and remote DMA

NOVA

NOVA Microhypervisor

tools

Configurations and tools from my working environment

usbarmory

USB armory: open source flash-drive-sized computer