> 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. >
Kry10 (www.kry10.com) has the Kry10 OS, which is a (commercial) seL4-based OS that allows components to be started, stopped, added and removed during runtime. While it's not designed as a general purpose OS (like a desktop or server OS) it is targeting industrial (and other) systems where upgrades and some dynamicity are desired. Have a look at our various seL4 summit presentations for more details. Ihor. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
