News for hackers. Stuff that matters.

A comment on ACM Software System Award Given to seL4 Microkernel. Parent comment

Re:ACM Software System Award Given to seL4 Microkernel by snvzz on Sunday May 07, 2023 @08:18AM (#35850648)
Not the parent, but seL4 has very high performance (they claim the best), and the IPC latency is bound by Worst Case Execution Time proof.
[ Parent | on HN ]

There are no comments on this comment yet.