Google Announces KataOS: Security-Focused OS, Using Rust and SeL4 Microkernelphoronix.com84 pointsksec4 years ago