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 Linux. No entanto, o seL4 pode ser usado, em teoria, como base para o Linux e outros sistemas operacionais relacionados ao Unix. Por exemplo, foi brevemente considerado para uso no sistema operacional Gnu Hurd, de […]