Tecnología

Google anuncia KataOS como un sistema operativo centrado en la seguridad que utiliza Rust y seL4 Microkernel

GOOGLE --

Google ha anunciado esta semana el lanzamiento de KataOS, ya que su último sistema operativo se centra en dispositivos integrados que realizan cargas de trabajo de aprendizaje automático en el entorno. KataOS tiene una mentalidad de seguridad, utiliza el lenguaje de programación Rust exclusivamente y se basa en el microkernel seL4 como base.

KataOS está diseñado para usarse en una cantidad cada vez mayor de dispositivos inteligentes, con especial énfasis en el hardware integrado que utiliza aplicaciones de aprendizaje automático. Dado el creciente enfoque industrial de RISC-V, la arquitectura de la CPU es el soporte principal para KataOS. El blog de código abierto de Google anunció:

«Elegimos seL4 como microkernel para la base de este nuevo sistema operativo porque prioriza la seguridad; está matemáticamente probado que es seguro y su confidencialidad, integridad y disponibilidad están garantizadas. Con el marco SeL4 CAmkES, también podemos KataOS proporciona componentes del sistema estáticamente definidos y analizables. KataOS proporciona una plataforma segura comprobada que protege la privacidad del usuario, ya que es lógicamente imposible que las aplicaciones rompan las protecciones de hardware del kernel y se ha demostrado que los componentes del sistema son seguros. KataOS también se implementa casi por completo en Rust, que proporciona un sólido punto de partida para la seguridad del software, ya que elimina clases completas de errores, como errores de uno en uno y desbordamientos de búfer.

La versión actual de GitHub contiene la mayoría de los componentes principales de KataOS, incluido el marco que usamos para Rust (como sel4-sys crate, que proporciona las API de llamada al sistema seL4), un servidor raíz alternativo escrito en Rust (necesario para la memoria dinámica de todo el sistema management ), y los cambios principales en seL4 , que pueden recuperar la memoria utilizada por el servidor raíz.

Obtenga más información sobre cómo funciona Google a través de ellos. Un blog de código abierto. El código de KataOS se trabaja a través de GitHub Paraguas AmbiML.

READ  Alexa ahora puede saludar a la gente en Ring Doorbell Prosta

Patricio Arocha

Especialista web. Evangelista de viajes. Alborotador. Fanático de la música amigable con los hipster. Experto en comida

Publicaciones relacionadas

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Botón volver arriba
Cerrar
Cerrar