>I would hesitate to consider it as a replacement for Linux It would depend on the scenario. Of course, Linux is easier to work with but OTOH there are require

>I would hesitate to consider it as a replacement for Linux It would depend on the scenario. Of course, Linux is easier to work with but OTOH there are requirements which only seL4 can satisfy. There's a lot required on top of seL4 for it to be actually useful. Fortunately, there has been a lot of Open Source work there as well. This is where seL4 is in a much better position than just a few years ago. For static scenarios, there's LionsOS[0], quite usable already. For dynamic scenarios, there's the Provably Secure, General-Purpose Operating System[1], which is still early stages. Both can be found in the Projects page[2] at trustworthy systems, which is linked in the seL4 website. 0. https://trustworthy.systems/projects/LionsOS/ https://trustworthy.systems/projects/LionsOS/ 1. https://trustworthy.systems/projects/smos/ https://trustworthy.systems/projects/smos/ 2. https://trustworthy.systems/projects/ https://trustworthy.systems/projects/