Google esta semana ha anunciado el lanzamiento de KataOS como su nuevo esfuerzo de sistema operativo centrado en dispositivos integrados que ejecutan cargas de trabajo de aprendizaje automático ambiental. KataOS tiene una mentalidad de seguridad, utiliza exclusivamente el lenguaje de programación Rust y está construido sobre el microkernel seL4 como base.
KataOS está diseñado para usarse con la cantidad cada vez mayor de dispositivos inteligentes con un énfasis particular en el hardware integrado que ejecuta aplicaciones de aprendizaje automático. Dado el creciente enfoque de la industria de RISC-V, esa arquitectura de CPU es un enfoque de soporte principal para KataOS. El blog de código abierto de Google anunció:
“Como base para este nuevo sistema operativo, elegimos seL4 como el microkernel porque pone la seguridad al frente y al centro; está matemáticamente probado como seguro, con confidencialidad garantizada , integridad y disponibilidad. A través del marco seL4 CAmkES, también podemos proporcionar componentes del sistema analizables y definidos estáticamente. KataOS proporciona una plataforma verificable y segura que protege la privacidad del usuario porque es lógicamente imposible que las aplicaciones violen la seguridad del kernel. Las protecciones de seguridad del hardware y los componentes del sistema son verificablemente seguros. KataOS también se implementa casi por completo en Rust, lo que proporciona un sólido punto de partida para la seguridad del software, ya que elimina clases enteras de errores, como errores de uno en uno y desbordamientos de búfer.
La versión actual de GitHub incluye la mayoría de las piezas principales de KataOS, incluidos los marcos que usamos para Rust (como el cajón sel4-sys, que proporciona seL4 sysca ll), un servidor raíz alternativo escrito en Rust (necesario para la gestión dinámica de la memoria en todo el sistema) y las modificaciones del kernel a seL4 que pueden recuperar la memoria utilizada por el servidor raíz”.
Más información más sobre este esfuerzo de Google a través de su Blog de código abierto. Se está trabajando en el código de KataOS a través de GitHub bajo el paraguas AmbiML.
