Google открыл код защищённой операционной системы KataOS
- С сайта: OpenNet
- Вернуться к списку новостей
Google открыл код защищённой операционной системы KataOS
Author:Компания Google объявила об открытии наработок, связанных с проектом KataOS, нацеленным на создание защищённой операционной системой для встраиваемого оборудования. Системные компоненты KataOS написаны на языке Rust и выполняются поверх микроядра seL4, для которого на системах RISC-V предоставлено математическое доказательство надёжности, свидетельствующее о полном соответствии кода спецификациям, заданным на формальном языке. Код проекта открыт под лицензией Apache 2.0.
#csn #cyber_news
Оригинальная версия на сайте: