4 ms·
How do they plan to make Linux (with MLoCs...) deterministic? Why not adopt seL4 like everybody else who is not outright delusional[0][1]? 0. https://sel4.sys
by snvzz 9mo ago
How do they plan to make Linux (with MLoCs...) deterministic?
Why not adopt seL4 like everybody else who is not outright delusional[0][1]?
0. https://sel4.systems/Foundation/Membership/ https://sel4.systems/Foundation/Membership/
1. https://sel4.systems/use.html https://sel4.systems/use.html