← Back to context Comment by ted_dunning 2 days ago Indeed.And the SeL4 kernel has latency guarantees based on similar proofs (at considerable cost) 0 comments ted_dunning Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗