Игорь Прусов. Безопасная ОС: проблемы отладки