Безопасная ОС: проблемы отладки