Norman Feske
Johannes Schlatow
Josef Söntgen
Stefan Kalkowski
Pirmin Duss
Benjamin Lamowski
Michael Grunditz
Martin Stein
Sebastian Sumpf
Tomasz Gajewski
Johannes Kliemann
Valery Sedletski
Cedric Degea
Daniel Collins-
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...
Stories around the Genode Operating System
