Category Topics

Community Projects

Applications, software, Genode-derived operating systems, and other forms of support contributed by genodians
7

Genode and Sculpt OS

Announcements, usage questions, suggestions
15

General

Create topics here that don’t fit into any other existing category.
14

Developer's Corner

Programming questions in C++ or other Genode-supported languages, regarding Genode’s code or third-party apps.
19

Help / Tech Support

Having issues using or configuring Sculpt OS? Ask and we’ll do our best to help.
15

Hardware

Discussions on improving the existing hardware support and extending it to more platforms and peripherals.
4

Site Feedback

Discussion about this site, its organization, how it works, and how we can improve it.
1