3 ms·
The document was updated in January. A lot has happened in the last few years, such as the founding of seL4 foundation, the maturation of mixed criticality sch
by snvzz 2y ago
The document was updated in January.
A lot has happened in the last few years, such as the founding of seL4 foundation, the maturation of mixed criticality scheduling, the celebration of multiple seL4 summits, and the deployment in practical use by multiple companies and countries, in several scenarios.
- axman6 2y agoNotably, Apple joined the seL4 foundation, as they use it in several of their products: https://sel4.systems/Foundation/Membership/ https://sel4.systems/Foundation/Membership/ (Not sure if they've stated publicly which, but it's been pretty well known for a while now).