Sculpt OS: a novel operating system for truly trustworthy computing (DS2024)

We will present Sculpt OS, a showcase of the Genode Operating System Framework. We will present Sculpt OS, a showcase of the Genode Operating System Framework developed at Genode Labs in Dresden. Following a brief introduction to microkernels and hard facts about Genode, we will explore various Sculpt features on a live system. We will top off the talk with a look at the SDK. Licensed to the public under https://creativecommons.org/licenses/by/4.0/de/ about this event: https://talks.datenspuren.de/ds24/talk/XBNY7R/