Tag: microkernel

Posts do autor

Kernel Fuchsia vs kernel Linux: dois caminhos para o futuro dos sistemas operacionais

Kernel Fuchsia vs Kernel Linux: arquitetura, segurança e o futuro!

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…