4 ms·
There are options. None with even close the mindshare that linux has.
by marcodiego 5y ago
There are options. None with even close the mindshare that linux has.
- snvzz 5y 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).