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...
Pine fun - Excursion to the user land
February 18 2021 by Norman Feske

Equipped with the rudimentary debugging skills presented in the previous article, it is time to conquer the remaining stumbling blocks on our way to the user land. Continue...
Pine fun - How did we come here?
February 11 2021 by Norman Feske

Some kids from the city once told me about programs called "debuggers". They also use a technology named "green light" to cross the streets. City kids. As we are still far away from urban territory, we are in need of the rural ways of debugging. What are our options? Continue...
Pine fun - Kernel skeleton
January 28 2021 by Norman Feske

Of the several kernels supported by the Genode OS framework, the so-called base-hw kernel is our go-to microkernel for ARM-based devices. Section Execution on bare hardware of the Genode Foundations book goes into detail about its underlying software design. This article describes the process of porting this kernel to a new board, specifically the Pine-A64-LTS single-board computer. Continue...

Experimental multi kernel Sculpt 25.10 PC image

Pine fun - Excursion to the user land

Pine fun - How did we come here?

Pine fun - Kernel skeleton