|
|
|
|
|
|
by snvzz
1572 days ago
|
|
|
>None with even close the mindshare that linux has. When you have a hammer (Linux) in your hand, every problem looks like a nail. seL4 can do hard realtime, with formal proofs of worst case. Linux can't, and won't ever be able to, due to its complexity (Millions of LoCs). |
|
|