Practicalities of Sculpt OS on hardware

Genode and Sculpt OS
1

Hi all,

I’m curious about running Sculpt, but I’m wondering what the current status of the following areas is, which don’t seem to be covered much in the manual:

  • C-states on Intel hardware - modern CPUs need the OS to cooperate and place PCIe devices in runtime suspend to allow the CPU to drop into lower C-states. Does Genode support this/is it on the roadmap?
  • Does Sculpt support any sort of device firmware updates or Intel microcode updates at boot? The latter is especially important for security
  • Is TPM2 / secure boot support on the roadmap?
  • How far away are we realistically from being able to develop Genode on Sculpt itself? Eliminating the need for a Linux machine entirely would be excellent
  • Is there a way to isolate different network devices within the system so different applications may only access certain networks, and if so how strong are the isolation guarantees here
  • Does Sculpt work on seL4?

Thank you!

2

The CPU consumption can be tuned manually by a tool for Genode@NOVA, e.g. x86 CPU frequency and power steering with Sculpt 23.10

1 Like
3

Such a feature was added to the Genode framework long time ago, e.g. Genode - Release notes for the Genode OS Framework 18.08 But by now, there is no integration into Sculpt OS.

1 Like
4

Sure, experimental, but yes - see the presentation on the seL4 summit https://www.youtube.com/watch?v=N624i4X1UDw&themeRefresh=1 and Experimental multi kernel Sculpt 25.10 PC image for an image based on Sculpt 25.10.

1 Like