Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: