On 07/11/2010 12:32 PM, Ivan Shcherbakov wrote:
Dear VirtualBox developers,

My  name  is  Ivan  Shcherbakov.  I am the developer of VirtualKD - an
open-source  tool  that  speeds  up kernel-mode Windows debugging with
VirtualBox  by providing a direct kernel-to-debugger interface instead
of  the  slow emulated COM port. The tool is widely used among Windows
kernel developers...

Maybe I'm not understanding you correctly.  Are you saying that MicroSoft
employees are using your GPL'd open-source tool to debug their proprietary
MS kernel code?  I must be misreading, surely?



_______________________________________________
vbox-dev mailing list
[email protected]
http://vbox.innotek.de/mailman/listinfo/vbox-dev

Reply via email to