On 8 Mar 2025, at 06:34, Isaac Beckett via Devel <[email protected]> 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 _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
