← 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 ↗