Comment by snvzz

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/

1. https://sel4.systems/use.html