Generating PDB Files for your driver

You need to set this option in 'sources' file.

USE_PDB=1

Hope this will help. I know, Understanding this will require Pre-knowledge of how to build Windows Driver. I will write it in sometime.