As part of its goal to build “a provably secure platform that's optimized for embedded devices that run ML applications,” Google has open sourced several components of its KataOS secure operating system.
Additionally, Google is “building a reference implementation for KataOS called Sparrow, which combines KataOS with a secured hardware platform.”
The current GitHub release includes core KataOS pieces, including “the frameworks we use for Rust (such as the sel4-sys crate, which provides seL4 syscall APIs), an alternate rootserver written in Rust (needed for dynamic system-wide memory management), and the kernel modifications to seL4 that can reclaim the memory used by the rootserver.”
Learn more at Google Open Source.
Comments