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
Marcadores: Linux, Android, Segurança
Distros Linux,
linux lernel,
Notícia
Assinar:
Postar comentários (Atom)
Nenhum comentário:
Postar um comentário