Средства и методы разработки

Официально: «Касперский» разрабатывает собственную ОС -> Запасаемся попкорном!!! http://caxapa.ru/354629.html
http://safe.cnews.ru/top/2012/10/16/oficialno_kasperskiy_razrabatyvaet_sobstvennuyu_os_506706
Читаем внимательно и охреневаем. "В целях гарантии безопасности среда не должна содержать ошибок и уязвимостей в ядре, контролирующем остальные модули системы. Как следствие, ядро должно быть верифицировано средствами, не допускающими существования уязвимостей и кода двойного назначения, - пишет «Лаборатория Касперского»." Значит, тупорылые менеджеры остальных ОС забыли написать в ТЗ, что багов быть не должно - вот и они и есть. А эти не забыли. Если у каспера есть средства верификации кода такого уровня, да еще и аттестованные (что как бы неявно подразумевается), то нахер им антивири - они могут жить от лицензирования такой супер-тулзы. По сути все это очень сильно напоминает L4 microkernel family -> Зато сколько всего вспомнили! Что в 2000 году (когда "интернет вещей" был токма в проекте) кто-то пытался утопить в дерьме бедных австралопитеков, и все вири, известные и не очень. Вот он, мастер класс по пЭаРу. Пелевин отдыхает.