Google announced the KataOS operating system

Την περασμένη Παρασκευή, η 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. The Best Technology Site in Greecefgns

KataOS, Google, iguru

Written by giorgos

George still wonders what he's doing here ...

Leave a reply

Your email address is not published. Required fields are mentioned with *

Your message will not be published if:
1. Contains insulting, defamatory, racist, offensive or inappropriate comments.
2. Causes harm to minors.
3. It interferes with the privacy and individual and social rights of other users.
4. Advertises products or services or websites.
5. Contains personal information (address, phone, etc.).