Microkernel em sistemas operacionais estão ganhando mais importância em mercados que precisam de segurança.