chelmuth

He that is overcautious will accomplish little. - Friedrich Schiller, "Wilhelm Tell", 1804

Genode LabsDresden, Germany

Pinned Repositories

genode
Genode OS Framework
Language:C++3 5 00
genode-allwinner
Allwinner SoC support for the Genode OS framework
Language:C1 1 00
genode-imx
i.MX SoC family support for the Genode OS framework
Language:C1 1 00
genode-manual
Reference manual for the Genode OS Framework
Language:TeX1 2 00
genode-riscv
RISC-V board support
Language:C++1 1 00
genode-rpi
Raspberry Pi family support for Genode OS framework
Language:C++10
genode-world
Collection of community-maintained components for Genode
Language:C++1 2 00
genode-zynq
Zynq SoC support for the Genode OS framework
Language:C++1 1 00
genodian
Content for genodians.org
2 2 01
genodians.org
Website for stories around the Genode operating system
Language:Makefile1 2 00

chelmuth's Repositories

chelmuth/genode
Genode OS Framework
Language:C++3 5 00
chelmuth/genodian
Content for genodians.org
2 2 01
chelmuth/genode-allwinner
Allwinner SoC support for the Genode OS framework
Language:C1 1 00
chelmuth/genode-imx
i.MX SoC family support for the Genode OS framework
Language:C1 1 00
chelmuth/genode-manual
Reference manual for the Genode OS Framework
Language:TeX1 2 00
chelmuth/genode-riscv
RISC-V board support
Language:C++1 1 00
chelmuth/genode-rpi
Raspberry Pi family support for Genode OS framework
Language:C++10
chelmuth/genode-world
Collection of community-maintained components for Genode
Language:C++1 2 00
chelmuth/genode-zynq
Zynq SoC support for the Genode OS framework
Language:C++1 1 00
chelmuth/genodians.org
Website for stories around the Genode operating system
Language:Makefile1 2 00
chelmuth/goa
Tool for streamlining the development of Genode applications
Language:Tcl1 1 0
chelmuth/goa-projects
Applications ported to Genode using Goa
Language:C++1 2 2
chelmuth/amtterm
amtterm mirror
Language:C
chelmuth/chelmuth.github.io
Tinkering with Genode blog
Language:HTML3 0
chelmuth/foc
Clone of Fiasco.OC and parts of L4RE that are used by the Genode framework.
Language:C2 0
chelmuth/g2fg
GRUB2 for Genode
chelmuth/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.
Language:C2 0
chelmuth/gosh
Tool to convert plain text to LaTeX, HTML, and other formats
Language:Tcl1 0
chelmuth/grub
Language:C1 0
chelmuth/ipxe
iPXE network bootloader
Language:C0 0
chelmuth/lua
Lua programming language
Language:C2 0
chelmuth/morbo
A toolchain for Firewire booting and remote DMA
Language:C2 0
chelmuth/NOVA
NOVA Microhypervisor
Language:C++3 0
chelmuth/seL4
The seL4 microkernel
Language:C2 0
chelmuth/tiobench
Threaded IO Benchmark
chelmuth/xkb2ifcfg
Libxkbcommon-based Genode input_filter keyboard-layout generator
Language:C++1 0