FERRAMENTAS LINUX: O Microkernel do seL4 está sendo portado para o RISC-V

terça-feira, 4 de fevereiro de 2020

O Microkernel do seL4 está sendo portado para o RISC-V




Confira !!



O micro-kernel seL4, focado em fornecer segurança e desempenho robustos, está sendo portado para a arquitetura RISC-V.

O pesquisador de micro-kernel e desenvolvedor de seL4, Gernot Heiser, apresentou na conferência FOSDEM do último fim de semana sobre o estado de seL4. Na frente do desenvolvimento, sua principal conquista recente é trazer esse micro-kernel para o RISC-V. Com sua porta seL4 para o RISC-V, seu objetivo inicial de hardware é o HENSOLDT Cyber, com sede em Munique. A empresa bávara está desenvolvendo um processador RISC-V seguro baseado no núcleo "Ariane" de código aberto e o sistema operacional seguro para Hensoldt estará executando o seL4.

O esforço do seL4 também está culminando com o estabelecimento da Fundação seL4 como a organização que se concentrará no crescimento do ecossistema seL4. Essa fundação ainda está sendo estabelecida e está passando pelas etapas legais necessárias.

Aqueles que desejam aprender mais sobre esses esforços seL4 podem assistir à gravação da sessão WebM e ao deck de slides em PDF .

Fonte

Até apróxima !1

Nenhum comentário:

Postar um comentário