Ogni riga di codice in modalità supervisore costituisce un rischio. Spostando driver e protocolli fuori dal kernel, i microkernel azzerano i guasti critici.
Le statistiche indicano da 1 a 5 bug ogni 1.000 righe di codice. Su 30 milioni di righe ci sono migliaia di bug nascosti; su 10.000 righe verificate la densità è vicina allo zero.
La norma ISO 26262 richiede il 100% di copertura MC/DC per l'ASIL-D. Impossibile su 30 milioni di righe, è pienamente fattibile su un microkernel compatto da 10.000 righe.