Pinned Repositories
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
Genode OS Framework
genode-allwinner
Allwinner SoC support for the Genode OS framework
genode-imx
i.MX SoC family support for the Genode OS framework
genode_binaries
Binaries of Genode scenarios
linux
Personal adaptions of the Linux kernel
uboot
Personal adaptions of the Uboot bootloader
m-stein's Repositories
m-stein/genode
Genode OS Framework
m-stein/linux
Personal adaptions of the Linux kernel
m-stein/genode_binaries
Binaries of Genode scenarios
m-stein/uboot
Personal adaptions of the Uboot bootloader
m-stein/ada-runtime
m-stein/ada-runtime-alis
Stripped .ali files for use as Genode API description
m-stein/cbe
m-stein/foc
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.
m-stein/genode-allwinner
Allwinner SoC support for the Genode OS framework
m-stein/genode-imx
i.MX SoC family support for the Genode OS framework
m-stein/genode-manual
Reference manual for the Genode OS Framework
m-stein/genode-world
Collection of community-maintained components for Genode
m-stein/genode-riscv
RISC-V board support
m-stein/genode-rpi
Raspberry Pi family support for Genode OS framework
m-stein/genode-zynq
Zynq SoC support for the Genode OS framework
m-stein/genode_hdl_env
Integration of HDL designs by emulating access wich regards their interface.
m-stein/genode_libmbim_generated
Generated files of libmbim that are required for the Genode port
m-stein/genode_related
Genode related files not part of the official branches
m-stein/genodian
m-stein/genodians.org
Website for stories around the Genode operating system
m-stein/goa
This fork of the nfeske/goa repository is only for storing my adaptations till they get merged to nfeske/goa.
m-stein/goa_projects
My Genode projects created for use with Genode's GOA tool
m-stein/gosh
Tool to convert plain text to LaTeX, HTML, and other formats
m-stein/libsparkcrypto
A cryptographic library in SPARK 2014
m-stein/libsparkcrypto-alis
m-stein/m-stein.github.io
m-stein/morbo
A toolchain for Firewire booting and remote DMA
m-stein/NOVA
NOVA Microhypervisor
m-stein/tools
Configurations and tools from my working environment
m-stein/usbarmory
USB armory: open source flash-drive-sized computer