On Sat, Jul 17, 2010 at 1:25 AM, walt <[email protected]> wrote:
> 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?
>

I understand it differently -- that some 3rd party developers use it
to debug some Windows Drivers.

-- 
-Alexey Eromenko "Technologov"

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

Reply via email to