Je možné, že to tak dopadne. Mě by osobně víc potěšil přechod celého oboru IT na SW s výrazně vyšší spolehlivostí: type safety, memory safety, model checking, formal verification. To by ovšem bylo o jiných OS, než Windows nebo Unix/Linux. I když by asi bylo možné napsat pro začátek alespoň driver framework, který by popsaná kritéria naplňoval.