Google anuncia el nuevo sistema operativo KataOS

La gran empresa creadora de Chrome OS y además de las pocas que experimenta con novedosos sistemas operativos, ahora presenta KataOS diseñada para dispositivos de aprendizaje automatizado integrados.

El lanzamiento de este sistema operativo fue anunciado junto con el de Sparrow que cumplirá su función como implementación de referencia, mientras que KataOS será el diseño del sistema operativo. Esto debido a que el servidor de visualización de Weston, cumple con la función de implementación de referencia de Wayland.

Hasta ahora la meta es que el sistema operativo KataOS funcione como una plataforma segura y optimizada para los dispositivos integrados que ejecuten aplicaciones ML. Google a unido fuerzas junto con la empresa Antmicro, creadora del crate seL4-sys para llevar a cabo este nuevo proyecto. Aunque el plan inicial es ejecutar el sistema operativo con OpenTitan, el cual usa RISC-V, por el momento se está desarrollando con el conjunto de instrucciones Arm64.

KataOS está escrito casi en su totalidad, en un lenguaje de programación que está actualmente en tendencia, Rust, así fue anunciado por Google en su presentación en GitHub. Lo cual deja fuera al micro núcleo subyacente seL4, cosa que The Reg FOSS desk señaló durante la cobertura del proyecto experimental NeptuneOS, en febrero de este año.

Uso de Kernel seL4 para mayor seguridad

Un núcleo para sistemas operativos que controla todas las funciones críticas del software, el cual fue desarrollado por Data 61, una agencia australiana de seguridad. Dicha agencia afirma que este núcleo de control a diferencia de otros, matemáticamente tiene menores probabilidades de ser hackeado.

De hecho, el núcleo seL4 es imposible de hackear, gracias a que implementa funciones de seguridad extrema, como detectar cualquier mínima alteración, evita que se puedan alterar códigos sin un permiso o que se pueda leer la memoria y datos sin un permiso.

Para mayor seguridad incluso, los datos del dispositivo están aislados del núcleo o kernel y además tiene la capacidad de ejecutar dos sistemas al mismo tiempo, con la finalidad de que sí uno es hackeado el otro pueda detener la amenaza.

En el proyecto KataOS, el núcleo seL4 está implementado en el lenguaje de programación C, por lo que utiliza CAmkES, una arquitectura de componentes para sistemas integrados fundamentados en micro núcleos, los cuales utilizan los lenguajes Haskell y Python, como una capa de abstracción para unir los lenguajes de programación C y Rust.

Comparte en tus redes sociales!!