Nem értem a problémádat. Azt _nem_ jelentette ki senki, hogy egy olyan platformot hoztak létre, amelynél bizonyított, hogy nem fordulhat elő hibás működés.
Arról volt szó, hogy a kernel forráskódja futás idejű hiba lehetőségétől mentes. Nyilván hibás lesz a működés, ha hibás hardveren futtatják vagy ha a fordító hibát tesz bele.