I found this
site that links instructions on this process. The initial tool they suggest is the Windows Driver Kit (WDK) with several tools in it. Wouldn't be bad to get in its own right. One of the included tools is WinDBG, which is used for this process. After you finish with the setting, you can view what the dmp files say so you can troubleshoot the blue screens.