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 the_panopticon on Saturday May 06, 2023 @01:46PM (#35843632)
KataOS and Sparrow https://opensource.googleblog.com/2022/10/announcing-kataos-... represent another use of seL4. This time with Rust as services code outside of the provably-correct seL4 c code.
[ Parent | on HN ]

There are no comments on this comment yet.