Την περασμένη Παρασκευή, η Google announced the release of KataOS, a security-oriented operating system. The new OS focuses on embedded devices running machine learning workloads.
According to Phoronix, it uses the Rust programming language and is "built on the seL4 microkernel that it uses as its base".
From Google's open source blog:
“As the basis for this new operating system, we chose the seL4 microkernel because it focuses on security. It is mathematically proven secure, with guaranteed privacy, integrity and availability. Through the seL4 CAmkES framework, we are also able to provide statically defined and analyzable system components.”
“Το KataOS παρέχει μια επαληθεύσιμα ασφαλή πλατφόρμα που προστατεύει το απόρρητο του χρήστη, επειδή είναι λογικά αδύνατο για τις εφαρμογές να παραβιάσουν τις προστασίες ασφαλείας hardware του πυρήνα και τα στοιχεία του συστήματος είναι επαληθευμένα ασφαλή. Το KataOS αναπτύσσεται σχεδόν εξ ολοκλήρου με την Rust, η οποία παρέχει ένα ισχυρό σημείο εκκίνησης για την ασφάλεια του λογισμικού, καθώς εξαλείφει ολόκληρες κατηγορίες σφαλμάτων, όπως σφάλματα off-by-one και buffer overflows.”
The current GitHub release contains most of the core pieces of working KataOS, including the frameworks we use for Rust (such as the sel4-sys crate, which also provides the seL4 syscall APIs), an alternative rootserver written in Rust (required for dynamic system-wide memory management), and kernel modifications to seL4 that can reclaim memory used by the rootserver.
The KataOS code is maintained via GitHub under the umbrella of AmbiML.
