sculpt-os

There are 3 repositories under sculpt-os topic.

genodelabs/genode
Genode OS Framework
Language:C++1k 82 5.1k248
genodelabs/goa
Tool for streamlining the development of Genode applications
Language:Tcl18 13 8117
genodelabs/genodians.org
Website for stories around the Genode operating system
Language:CSS17 8 2810