я бы не сказал "необходимы". Можно и без символов. Символы лежат на символ-сервере MS. DriverStudio 2.7 умеет полуавтоматом их забирать (нужно всего лишь имя нужной компоненты вписать, типа win32k.sys ntkrnl.dll etc.) и конвертить в .nms. См. программку DriverStudio/Tools/SymbolRetriever
Если более ранняя версия, то вот URL MS Symbol server:
http://msdl.microsoft.com/download/symbols Последний WinDBG может работать с нужными символами (зависят от сервис-пака и апдейтов, ессно) прямо из сети. Что довольно удобно.