P phoronix.com Google Announces KataOS: Security-Focused OS, Using Rust and SeL4 Microkernel 84 points ksec 4 years ago 58 comments
