|
|
|
|
|
|
by snvzz
2186 days ago
|
|
|
As anyone that ever used AmigaOS would tell you, multitasking is not an excuse for poor latency behavior. seL4[0] will guarantee (with formal proof) a low maximum latency despite multitasking. [0]: https://sel4.systems/About/seL4-whitepaper.pdf |
|
|