[seL4] Re: seL4 for general purpose/desktop operating systems?

On 8 Mar 2025, at 06:34, Isaac Beckett via Devel <devel@sel4.systems> wrote:

Is there any work ongoing to use seL4 for a general purpose operating system? Like, a situation where you may have e.g. PC style hardware that can have all sorts of reconfiguration between power-off and next boot, or even while booted and running.

There is, but it’s presently unfunded and as such on the back burner: https://trustworthy.systems/projects/smos/ It’s not (at this time) meant to be a PC OS, but a proof-of-concept for a general-purpose OS. Gernot