Linux Foundation apoia microkernel seL4 orientado para segurança

A Linux Foundation está trabalhando com o Data61 para promover o novo microkernel seL4. Mas o seL4 não está relacionado ao…