GitHub topics: sculpt-os
genodelabs/genode
Genode OS Framework
Language: C++ - Size: 70.1 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1,111 - Forks: 258
genodelabs/goa
Tool for streamlining the development of Genode applications
Language: Tcl - Size: 517 KB - Last synced at: about 17 hours ago - Pushed at: about 18 hours ago - Stars: 22 - Forks: 19
genodelabs/genodians.org
Website for stories around the Genode operating system
Language: C++ - Size: 115 KB - Last synced at: 19 days ago - Pushed at: about 2 months ago - Stars: 17 - Forks: 10