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.
Te recomendamos | La nueva consola de Windows 11 22H2 será Windows Terminal
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 leguaje 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.
Micro núcleos más usados
En la década de los 80, los micro núcleos eran considerados lo más novedoso para el momento y aunque actualmente no tengan un gran impacto en la corriente principal, están ahí en grandes cantidades.
Por ejemplo el Minix 3, un micro núcleo FOSS que fue desarrollado por el Dr. Andy Tanenbaum, y ha tenido éxito siendo utilizado como controlador de gestión de sistema en muchos CPU de Intel. O el QNX, un micro núcleo comercial bastante vendido, que hace la función de base de Blackberry 10, siendo la parte más rentable de la marca.
Por otro lado, es probable que el que más conozcas o hayas utilizado sea el MacOS de la marca Apple, el cual está basado en un núcleo de código abierto XNU. Este a su vez basado en Mach de la Universidad Carnegie Mellon, siendo uno de los primeros micro núcleos.
Sin embargo, XNU cuenta con un servidor Unix dentro del núcleo que se basa en el código de FreeBSD, razón por la cual es técnicamente más un núcleo hibrido, que un micro núcleo puro.
Finalmente el kernel o núcleo Security Enhanced L4 ó mejor conocido como seL4, que forma parte del gran grupo L4. Este núcleo fue diseñado concretamente por el difunto ingeniero informático Jochen Liedtke, en respuesta a Mach.
