Поисковик 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, которые могут восстановить память, используемую корневым сервером.
