sculpt-os
There are 3 repositories under sculpt-os topic.
genodelabs/genode
Genode OS Framework
genodelabs/goa
Tool for streamlining the development of Genode applications
genodelabs/genodians.org
Website for stories around the Genode operating system