seL4[0] will guarantee (with formal proof) a low maximum latency despite multitasking.
[0]: https://sel4.systems/About/seL4-whitepaper.pdf
seL4[0] will guarantee (with formal proof) a low maximum latency despite multitasking.
[0]: https://sel4.systems/About/seL4-whitepaper.pdf