Genodians.org - Stories around the Genode Operating System

Experimental multi kernel Sculpt 25.10 PC image
November 2 2025 by Alexander Böttcher

With the release of Sculpt 25.10 I take the opportunity to publish also a multi-kernel image version of Sculpt 25.10. Even so not supported officially, the other capability based microkernels of the Genode OS framework are in a principal working state also to power Sculpt OS. I crafted and uploaded an image for interested people, which contains Sculpt 25.10 with the following kernel combinations Continue...
Streaming Android to Genode using Scrcpy
July 2 2020 by Alexander Böttcher

In this post I report about the work of bringing Scrcpy to Genode. Additionally, a short video demonstrates the outcome of the undertaking. Continue...
Exploring the ARMv8 system level - Part 2
June 18 2019 by Stefan Kalkowski

In this blog series I write about my insights when porting Genode's hw kernel to ARMv8. In the first post I've described how to first create a non-functional dummy system image. In this post, I want to show how easily you can develop and debug early system level startup code when using QEMU. Continue...

Experimental multi kernel Sculpt 25.10 PC image