8 Mar
2025
8 Mar
'25
11:24 p.m.
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.