Pinned Repositories
genode
Genode OS Framework
genode
Genode OS Framework
genode-trabant
Genode Trabant
genode-world
Collection of community-maintained components for Genode
goa-projects
Personal repository for Goa packages
kavelop
Playground for KDevelop IDE and the WAF build system
porteus-configs
rite's Repositories
rite/genode
Genode OS Framework
rite/genode-trabant
Genode Trabant
rite/genode-world
Collection of community-maintained components for Genode
rite/goa-projects
Personal repository for Goa packages
rite/kavelop
Playground for KDevelop IDE and the WAF build system
rite/porteus-configs