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 .
Até a próxima !
Nenhum comentário:
Postar um comentário