Helper script for Windows kernel debugging with IDA Pro on native Bochs debugger (including PDB symbols) - View it on GitHub