[vbox-dev] VirtualKD vs. VirtualBox

[walt]

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?