Jede zusaetzliche Zeile Kernel-Code birgt Risiken. Durch die Auslagerung von Treibern und Netzwerkprotokollen minimieren Mikrokerne fatale Fehlervektoren.
Statistiken belegen 1 bis 5 Fehler pro 1.000 Zeilen Code. Bei 30 Millionen Zeilen birgt ein OS tausende latente Bugs. Ein 10.000-Zeilen-Mikrokern erzielt rechnerisch null Fehler.
ISO 26262 verlangt 100% MC/DC-Testabdeckung fuer ASIL-D. Bei 30 Millionen Zeilen ist dies unmoeglich, ein schlanker 10.000-Zeilen-Mikrokern kann jedoch bis zum Assembler zertifiziert werden.