Google представила операционную систему для ИИ-устройств

Компания Google представила операционную систему KataOS для встраиваемых систем на чипах RISC-V, обрабатывающих задачи искусственного интеллекта.

https://twitter.com/Google...

При создании ОС разработчики использовали микроядро seL4, ориентированное на безопасность. Оно распространяется с открытым исходным кодом, однако не основано на Linux.

«[у seL4] математи...

https://clck.ru/32QQ4g