nfeske/genode-manual
Reference manual for the Genode OS Framework (migrated to codeberg.org)
Public GitHub Catalog
Discovered Sep 29, 2026
nfeske / dwc_otg
USB host-controller driver for Raspberry Pi
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#14567849GitHub System ID
nfeskeOrganization / User
PublicVisibility
ActiveCatalog Status
More from nfeske
nfeske/gosh
Tool to convert plain text to LaTeX, HTML, and other formats (migrated to codeberg.org)
nfeske/dope
The DOpE widget set for the Genode OS Framework
nfeske/codezero
Codezero microkernel by B-Labs