Ha EAL7-es szintre auditálták volna, akkor a hiba nem jöhetett volna elő. Elvileg annó tanultunk ilyen szinten auditálandó rendszerekről, de ezek nevében általában szerepelt az atom szó.
Egyébként én úgy állnék neki a témának, hogy fognám a kernelben futó részt, azt annyira leminimalizálnám amennyire csak lehet funkciók tekintetében, és teljesen újratervezném már egy magasabb EAL szintű auditra készülve. Meg valószínűleg nem C-ben, vagy hasonló alacsony szintű nyelven kódolnám le.