Индустрия

Google анонсировала ОС для умных устройств, написанную на Rust

👋
Хочешь поучаствовать в жизни сайта? Мы ищем авторов!

Проект, названный KataOS, будет гарантировать математически доказуемую безопасность пользовательских данных и будет использоваться на встроенных устройствах, использующих машинное обучение. Соответствующее сообщение было опубликовано в Google Open Source Blog.

В качестве микроядра ОС было выбрано seL4, написанное на Rust. Благодаря фреймворку seL4 CAmkES, авторы гарантируют логическую невозможность для приложений нарушить безопасность ядра.

В качестве примера реализации описываемой системы Google Research разрабатывает Sparrow, в которой вместе с KataOS будет использоваться логически безопасное железо - RoT (Root of Trust) чип, созданный OpenTitan на архитектуре RISC-V.

Первые наработки команды Google Research были опубликованы на Github. В конечном итоге команда обещает опубликовать исходники всех разработок как железа, так и ПО Sparrow.

Материал подготовлен с ❤️ редакцией Кухни IT.

Олег Ямников

Олег Ямников

Главный кухонный корреспондент.
☕
Заходи в канал Telegram и в чат! Кухня - это не только сайт, но и живое сообщество айтишников.