<html><head><style type='text/css'>p { margin: 0; }</style></head><body><div style='font-family: Arial; font-size: 10pt; color: #000000'><br>From all the evidence I have seen, Microsoft developers do not debug <br>their code, so which tool they use is kind of a moot point.<br><br><br>ron.<br><br><br>><br>>Dear Walt.<br>><br>>> Maybe I'm not understanding you correctly. Are you saying that MicroSoft<br>>> employees are using your GPL'd open-source tool to debug their proprietary<br>>> MS kernel code? I must be misreading, surely?<br>><br>>The tool is free and open-source, so anyone who wants to speed up<br>>kernel debugging under VirtualBox can freely use it. As for the<br>>Microsoft developers, I do not know which tools are they using<br>>internally.<br>><br>>-- <br>>Best Regards,<br>> Ivan <span class="Object" id="OBJ_PREFIX_DWT361"><span class="Object" id="OBJ_PREFIX_DWT362">mailto:info@ivan-shcherbakov.com</span></span><br>><br></div></body></html>