Windows DDK включает в себя копию windbg , которую можно использовать для подключения к ВМ через именованный канал ссоответствующая конфигурация.
Вы можете сделать это лучше, используя VirtualKD , чтобы получить ускоренный канал для связи со встроенным отладчиком ядра в винде.
Если вы хотите выполнить отладку с помощью пользовательского интерфейса Visual Studio , вам нужно посмотреть VisualDDK .
Оба являются мощными инструментами, но для их первоначальной настройки требуется небольшая работа.
Я обычно использую WinDBG , потому что это проще всего настроить на случайных машинах контроля качества и т. Д.
Но я использовал эти инструменты для быстрой итерации во время начальнойразработка проекта.
Удачи.