Tag: sel4

Notícias

Linux Foundation apoia microkernel seL4 orientado para segurança

A Linux Foundation está trabalhando com o Data61 para promover o novo microkernel…

Leonardo Santana 3 minutos de leitura