怎样在driver studio3.2里的symbol loader中得到xpddk编译的sys的符号文件？

  怎样在driver studio3.2里的symbol loader中得到xpddk编译的sys的符号文件？
    我的环境是winxpddk build2600，compuware driver studio3.2。
    当我直接使用symbol loader将2600建立的sys(check版)加载再执行translate时，总是说matching pdb file not found。我应该怎样来设置ddk来得到pdb文件？

    或者通过其他方法来生成符号文件？