I'm a little late with this news, but hey, it's a news worth mentioning.

As announced on the website of the Syllable OS project, Genode has been ported to the server version of Syllable OS. Kaj de Vos of the Syllable project also considers the incorporation of Genode into the desktop version of Syllable, which would be a very interesting synergy.

Maybe this will speed up the development of Syllable OS.