Josef Söntgen's repositories
genode-world
Collection of community-maintained components for Genode
Language:AdaAGPL-3.0000
ada-runtime-alis
Stripped .ali files for use as Genode API description
000
dde_linux_firmware
Firmware images used by the drivers in Genode ported from Linux
doom3-playground
This is the current goa enviroment for Doom3 on Genode mostly used for testing IGD devices
Language:CMakeNOASSERTION000
genode-allwinner
Allwinner SoC support for the Genode OS framework
genode-imx
i.MX SoC family support for the Genode OS framework
genode-libstdcxx-testsuite
Script for executing the libstdc++v3 testsuite on base-linux
genodians.org
Website for stories around the Genode operating system
Language:CSSNOASSERTION000
genode-zynq
Zynq SoC support for the Genode OS framework
Language:C++NOASSERTION000
goa
Tool for streamlining the development of Genode applications
Language:TclAGPL-3.0000
goa-projects
Genode Goa Projects
mesa_generated
Generated mesa headers and source files
MIT000