Helper script for Windows kernel debugging with IDA Pro on VMware + GDB stub (including PDB symbols) - View it on GitHub