Cada linha de código adicional no kernel é um risco potencial. Ao remover drivers e redes do kernel, microkernels eliminam vetores de falha catastrófica.
A indústria indica de 1 a 5 bugs por 1.000 linhas de código. Em 30 milhões de linhas, há milhares de bugs latentes. Em 10.000 linhas verificadas, o defeito é zero.
A ISO 26262 exige 100% de cobertura MC/DC para ASIL-D. Atingir isso em 30 milhões de linhas é impossível, mas um microkernel de 10.000 linhas é auditável até o assembly.