-
Experimental multi kernel Sculpt 25.10 PC image
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...
-
On-target debugging with GDB on Sculpt OS 24.04
With the recent Sculpt release, we introduced initial on-target debugging support to get the best from the ported GNU debugger (GDB) and our custom debug monitor that fuels the Sculpt runtime. This little hands-on introduction is completed by a live demo. Continue...


Johannes Schlatow
Alexander Böttcher
Norman Feske
Josef Söntgen
Stefan Kalkowski
Pirmin Duss
Benjamin Lamowski
Michael Grunditz
Christian Helmuth
Martin Stein
Sebastian Sumpf
Sagar Acharya
Tomasz Gajewski
Johannes Kliemann
Valery Sedletski
Cedric Degea
Daniel Collins