FERRAMENTAS LINUX: O SeL4 Micro-Kernel está trabalhando para um propósito geral, um sistema operacional multi-servidor

domingo, 7 de fevereiro de 2021

O SeL4 Micro-Kernel está trabalhando para um propósito geral, um sistema operacional multi-servidor

 


Confira !!


O micro-kernel seL4 que está em desenvolvimento há mais de uma década viu a criação da Fundação seL4 no ano passado para promover os objetivos do projeto. Em 2020, o micro-kernel seL4 também adicionou RISC-V como uma de suas principais arquiteturas de CPU.

O micro-kernel seL4 e seu ecossistema continuam em uma trajetória ascendente, mesmo com tudo o que está acontecendo no mundo e a competição de outros kernels de código aberto. Ontem, durante o evento FOSDEM Online 2021 , houve uma apresentação do Professor Gernot Heiser sobre os avanços seL4 no ano passado.

Além de estabelecer a Fundação seL4 e adicionar a arquitetura RISC-V de código aberto como uma de suas arquiteturas principais, o micro-kernel seL4 tem visto muito trabalho e também pesquisas para trabalhos futuros. Entre os ambiciosos objetivos de pesquisa está a criação de um "sistema operacional verdadeiramente seguro e de uso geral". Este sistema operacional de vários servidores seria seguro, suportaria uma variedade de casos de uso e políticas de segurança e teria um desempenho comparável a sistemas monolíticos.

Aqueles que desejam aprender mais sobre o trabalho de pesquisa recente e em andamento em seL4 podem ver a apresentação em PDF de Gernot do evento virtual FOSDEM. Aqueles que desejam ler mais sobre o micro-kernel seL4 neste fim de semana podem fazê-lo em sel4.systems .






Fonte

Até a próxima !

Nenhum comentário:

Postar um comentário