Helper script for Windows kernel debugging with IDA Pro on VMware + GDB stub - View it on GitHub