Пошуковий гігант Google оголосив про випуск першої версії своєї нової операційної системи. Вона називається KataOS і призначена для вбудованих пристроїв, що працюють із робочими навантаженнями зовнішнього машинного навчання. KataOS орієнтована на безпеку, використовує виключно мову програмування Rust і побудована на основі мікроядра seL4.
KataOS призначена для використання з постійно зростаючою кількістю інтелектуальних пристроїв з особливим наголосом на вбудованому обладнанні, на якому працюють програми машинного навчання. Враховуючи зростаючу галузеву спрямованість RISC-V, ця архітектура центральних процесорів є основним центром підтримки для KataOS.
У корпоративному блозі Google йдеться:
«В якості основи для цієї нової операційної системи ми обрали seL4 як мікроядро, оскільки воно ставить безпеку в центр уваги. Математично підтверджено його безпеку з гарантованою конфіденційністю, цілісністю та доступністю. Завдяки структурі seL4 CAmkES ми також можемо забезпечити статичні визначені системні компоненти, які можна аналізувати. KataOS надає перевірено безпечну платформу, яка захищає конфіденційність користувача, оскільки логічно неможливо для програм порушити апаратний захист ядра, а системні компоненти перевірено безпечні. KataOS також реалізована майже повністю у Rust, яка забезпечує надійну відправну точку для безпеки програмного забезпечення, оскільки усуває цілі класи помилок, наприклад помилки «off-by-one» і переповнення буфера».
Поточний випуск нової операційної системи, доступний на GitHub (https://github.com/AmbiML/sparrow-manifest), включає більшість основних компонентів KataOS, включаючи фреймворки, які використовуються для Rust (наприклад, sel4-sys, який надає API системного виклику seL4), альтернативний кореневий сервер, написаний на Rust (потрібний для динамічного керування пам’яттю в системі), а також модифікації ядра для seL4, які можуть відновити пам’ять, яку використовує кореневий сервер.
