The Genode project has released version 11.11 of their OS framework, which allows the construction of spezialized operating systems out of building blocks including 8 different kernels, plenty of device drivers, and an increasing number of system services.

You are indeed more than welcome! Actually, the time to start getting involved couldn't be better because the project is currently planning to open its development process.

Even though the Genode source code is released at regular intervals accompanied with the documentation about what has happened (release notes), until now, most of technical discussions, issue tracking, planning, and revision management was done internally at our company. Over the next three months we are going to change that with the goal to make the project more approachable to people outside the company.