ssumpf/ktray
KTRAY (simple Qt-based keyboard-status indicator for system tray)
Developer Profile
ssumpf
Discovered public repositories for ssumpf in the GitHub catalog.
ssumpf/l4linux
Clone of L4Linux from tudos.org
ssumpf/foc
Clone of Fiasco.OC and parts of L4RE that are used by the Genode framework.
ssumpf/pistachio
L4Ka::Pistachio micro-kernel
ssumpf/linux_drivers
Drivers ported from Linux 2.6 to Genode
ssumpf/genode
Genode OS Framework