Todas las Noticias en Pel√≠culas, Avances de Pel√≠culas y Rese√Īas.

Sistema Google KataOS explicado

Durante el fin de semana se presentó Google KataOS, un sistema operativo para dispositivos integrados que se centra en el entorno de ejecución con énfasis en las cargas de trabajo de aprendizaje automático.

KataOS se basa en el micron√ļcleo seL4 y est√° dise√Īado teniendo en cuenta la seguridad. Emplea completamente el lenguaje de programaci√≥n Rust.

¬ŅSabe que el plan con publicidad de Netflix llegar√° el 1 de noviembre?

¬ŅQu√© es Google KataOS?

Google ha anunciado el sistema operativo KataOS. El objetivo de este sistema es ofrecer una soluci√≥n de seguridad para dispositivos integrados. Hay m√°s dispositivos inteligentes que recopilan y analizan datos de su entorno. Estos dispositivos, seg√ļn Google, son m√°s vulnerables a las amenazas a la seguridad. Como resultado, se requiere una soluci√≥n simple que sea un sistema verificablemente seguro para hardware integrado. Existe un problema si no se puede demostrar matem√°ticamente que la tecnolog√≠a que nos rodea mantiene los datos seguros. Esto se debe a que los datos que recopilan pueden ser vulnerables a atacantes externos. Esto implica que los virus pueden robar fotograf√≠as, grabaciones de audio, pel√≠culas y otros datos. Por eso Google se vio obligado a introducir KataOS.

El principal caso de uso de Google KataOS es el creciente n√ļmero de dispositivos inteligentes, en particular hardware integrado que ejecuta aplicaciones de aprendizaje autom√°tico. Actualmente, la industria est√° prestando cada vez m√°s atenci√≥n a RISC-V y el soporte para la arquitectura de la CPU es la principal prioridad de Google KataOS.

Google anunció en el blog de código abierto:

‚ÄúComo base para este nuevo sistema operativo, elegimos seL4 como microkernel porque pone la seguridad en primer plano; Est√° matem√°ticamente demostrado que es seguro con secreto, integridad y disponibilidad garantizados. Mediante el marco seL4 CAmkES, tambi√©n podemos proporcionar componentes del sistema analizables y definidos est√°ticamente. Google KataOS proporciona una plataforma de seguridad verificable que protege la privacidad del usuario porque es l√≥gicamente imposible que una aplicaci√≥n viole las protecciones de seguridad del hardware del kernel 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 uno por uno y desbordamientos de b√ļfer‚ÄĚ.

La versión actual de GitHub incluye la mayoría de las partes principales de Google KataOS, incluidos nuestros marcos para Rust (como la caja sel4-sys, que proporciona la API de llamadas al sistema seL4), un servidor raíz alternativo escrito en Rust (requiere RAM dinámica en todo el sistema). Management) y una modificación del kernel a seL4 para recuperar la RAM utilizada por los servidores raíz. “

Recomendado:  "Portales encantados" se cierran en l√≠nea como una estafa "Cuphead"

Verificar El blog de código abierto de Google para más detalles. También puedes ver el progreso de Proyectos relacionados en GitHub. Si le han gustado estas noticias sobre otro proyecto de Google, consulte esta increíble noticia de Google: Google en conversaciones con Tottenham para un acuerdo de derechos de nombre de estadio de mil millones de libras.

KataOS ejecuta una aplicación de terceros

Google tambi√©n colabora con Antmicro. La asociaci√≥n permitir√° emular y depurar GDB en dispositivos de destino utilizando Renode. Internamente, KataOS tiene la capacidad de cargar y ejecutar din√°micamente programas de terceros. Incluso los programas creados fuera de la estructura CAmkES pueden ejecutarse en √©l. Los componentes necesarios para ejecutar estas aplicaciones a√ļn no est√°n presentes en la fuente de Github. Sin embargo, Google tiene la intenci√≥n de que estas operaciones est√©n disponibles pronto.

Adem√°s, Google ha creado Sparrow, una implementaci√≥n de referencia para KataOS. Sparrow fue creado para demostrar completamente el sistema de entorno seguro. Tiene una plataforma de hardware segura y ejecuta KataOS. En la arquitectura RISC-V, Sparrow presenta una ra√≠z de confianza que ha demostrado ser segura. Esto existe junto con el n√ļcleo seguro del sistema operativo. Sin embargo, Google planea emplear la emulaci√≥n QEMU para la versi√≥n inicial de KataOS. Este emulador se utilizar√° para operar el sistema ARM de 64 bits, que es el m√°s utilizado.

Tabla de Contenido