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!