O Google KataOS foi lançado no fim de semana, um sistema operacional para dispositivos embarcados com foco no ambiente de tempo de execução com ênfase em cargas de trabalho de aprendizado de máquina.
O KataOS é construído no microkernel seL4 e foi desenvolvido com a segurança em mente. Ele emprega a linguagem de programação Rust inteiramente.
Você sabia que o plano compatível com anúncios da Netflix será lançado em 1º de novembro?
O que é o Google KataOS?
O Google anunciou o sistema operacional KataOS. O objetivo deste sistema é oferecer uma solução de segurança para dispositivos embarcados. Existem mais gadgets inteligentes que coletam e analisam dados de seus arredores. Esses gadgets, segundo o Google, são mais vulneráveis a ameaças de segurança. Como resultado, é necessária uma solução simples que seja um sistema comprovadamente seguro para hardware embarcado. Há um problema se a tecnologia ao nosso redor não puder ser demonstrada matematicamente para manter os dados seguros. Isso ocorre porque os dados que eles coletam podem ser vulneráveis a invasores externos. Isso implica que os vírus podem roubar fotos, gravações de áudio, filmes e outros dados. É por isso que o Google foi forçado a introduzir o KataOS.
O principal caso de uso do Google KataOS é o número cada vez maior de dispositivos inteligentes, principalmente hardware incorporado que executa aplicativos de aprendizado de máquina. Atualmente, a indústria está dedicando cada vez mais atenção ao RISC-V, e o suporte à arquitetura da CPU é a principal prioridade do Google KataOS.
O Google anunciou no blog de código aberto:
“Como base para este novo sistema operacional, escolhemos o seL4 como o microkernel porque coloca a segurança na frente e no centro; é matematicamente comprovado como seguro com sigilo, integridade e disponibilidade garantidos. Por meio da estrutura seL4 CAmkES, também podemos fornecer componentes de sistema estaticamente definidos e analisáveis. O Google KataOS fornece uma plataforma de segurança verificável que protege a privacidade do usuário porque é logicamente impossível para um aplicativo violar as proteções de segurança de hardware do kernel, e os componentes do sistema são comprovadamente seguros. O KataOS também é implementado quase inteiramente no Rust, que fornece um forte ponto de partida para a segurança do software, pois elimina classes inteiras de bugs, como erros um a um e estouros de buffer.”
A versão atual do GitHub inclui a maioria das partes principais do Google KataOS, incluindo nossos frameworks para Rust (como a grade sel4-sys, que fornece a API de chamada de sistema seL4), um servidor raiz alternativo escrito em Rust (requer RAM dinâmica em todo o sistema management) e uma modificação do kernel para seL4 para recuperar a RAM usada pelos servidores raiz. “
Verificação de saída Blog de código aberto do Google para mais detalhes. Você também pode ver o progresso de Projetos relacionados no GitHub. Se você recebeu esta notícia sobre mais um projeto do Google, confira esta incrível notícia do Google: Google em negociações com o Tottenham para um acordo de direitos de nomeação de estádios de £ 1 bilhão.
KataOS executa aplicativo de terceiros
O Google também colabora com a Antmicro. A parceria possibilitará emular e depurar GDB em dispositivos de destino usando o Renode. Internamente, o KataOS tem a capacidade de carregar e executar dinamicamente programas de terceiros. Mesmo programas criados fora da estrutura CAmkES podem ser executados nela. Os componentes necessários para executar esses aplicativos ainda não estão presentes na fonte do Github. O Google, no entanto, pretende disponibilizar essas operações em breve.
Além disso, o Google criou o Sparrow, uma implementação de referência para o KataOS. Sparrow foi criado para demonstrar completamente o sistema de ambiente seguro. Possui uma plataforma de hardware segura e roda o KataOS. Na arquitetura RISC-V, o Sparrow apresenta uma raiz de confiança comprovadamente segura. Junto com o kernel do sistema operacional seguro, isso existe. No entanto, o Google planeja empregar a emulação QEMU para o lançamento inicial do KataOS. Este emulador será usado para operar o sistema ARM de 64 bits, que é mais amplamente utilizado.
Source: Sistema Google KataOS explicado
