Pinned Repositories
bin
codezero
Codezero microkernel by B-Labs
dope
The DOpE widget set for the Genode OS Framework
dwc_otg
USB host-controller driver for Raspberry Pi
foc
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.
genode
Genode OS Framework
genode-manual
Reference manual for the Genode OS Framework
genode-pkg
Package-management infrastructure for Genode
genodian
Content for genodians.org
gosh
Tool to convert plain text to LaTeX, HTML, and other formats
nfeske's Repositories
nfeske/genode-manual
Reference manual for the Genode OS Framework
nfeske/dwc_otg
USB host-controller driver for Raspberry Pi
nfeske/gosh
Tool to convert plain text to LaTeX, HTML, and other formats
nfeske/genode
Genode OS Framework
nfeske/codezero
Codezero microkernel by B-Labs
nfeske/foc
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.
nfeske/genodian
Content for genodians.org
nfeske/bin
nfeske/dope
The DOpE widget set for the Genode OS Framework
nfeske/genode-pkg
Package-management infrastructure for Genode
nfeske/goa
Tool for streamlining the development of Genode applications
nfeske/goa-playground
Experimentation ground for using the Goa tool
nfeske/cbe
nfeske/genode-allwinner
Allwinner SoC support for the Genode OS framework
nfeske/genode-imx
i.MX SoC family support for the Genode OS framework
nfeske/genode-rpi
Raspberry Pi family support for Genode OS framework
nfeske/genode-world
Collection of community-maintained components for Genode
nfeske/genode-zynq
Zynq SoC support for the Genode OS framework
nfeske/genodians.org
Website for stories around the Genode operating system
nfeske/jschlatow-goa-pkgs
Personal repository for Goa packages