From usasma's post: https://www.sysnative.com/forums/bsod-crashes-kernel-debugging/6055-question-about-os-listed-dump-files.html Citrix Public Symbol Server...