De szép is lenne ha a Linux kernel is ennyire rendben lenne. Az ellenőrzés ideje viszont... Ha a négy év kutatás alatt az ellenőrzést és a 7500 sor kód javítását értette Gerwin Klein akkor a Linux kernel ellenőrzése és javítgatása eltartana vagy 1000 évig. :-(