ssumpf/genode-manual
Reference manual for the Genode OS Framework
Public GitHub Catalog
Discovered Sep 25, 2026
ssumpf / pistachio
L4Ka::Pistachio micro-kernel
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.
#3659300GitHub System ID
ssumpfOrganization / User
PublicVisibility
ActiveCatalog Status
More from ssumpf
ssumpf/seoul
A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
ssumpf/ktray
KTRAY (simple Qt-based keyboard-status indicator for system tray)
ssumpf/l4linux
Clone of L4Linux from tudos.org