Ситуация такая: имеется windbg 6.5.0003.7, связанная через пайп с VMware, на которой стоит w2k sp4. Для загрузки отладочных символов в Symbol File Path пишется — SRV*c:\windows\symbols*http://msdl.microsoft.com/download/symbols. Но почему-то грузится только часть символов. Если например для проверки ввести команду:

kd> !lmi kernel32

получаем:

Loaded Module Info: [kernel32]
kernel32 not found

кто подскажет: что неправильно? как загрузить отладочную информацию целиком ???