Каждая лишняя строка кода в режиме ядра увеличивает риски. Вынесение драйверов и сетевых протоколов из ядра устраняет векторы критических сбоев.
Статистика показывает от 1 до 5 ошибок на 1000 строк кода. В монолитной системе на 30 млн строк скрываются тысячи багов. В проверенном микроядре на 10 000 строк плотность дефектов стремится к нулю.
Стандарт ISO 26262 требует 100% покрытия MC/DC для ASIL-D. Выполнить это для ядра на 30 млн строк невозможно, тогда как микроядро на 10 000 строк сертифицируется вплоть до ассемблера.