6 ms·Indeed. And the SeL4 kernel has latency guarantees based on similar proofs (at considerable cost)by ted_dunning 9mo agoIndeed. And the SeL4 kernel has latency guarantees based on similar proofs (at considerable cost)