[greenyoda]

I don't think it's sarcasm. It looks like VisualKernel is a real product that this company is selling. They also make VisualGDB and a bunch of other tools:

http://sysprogs.com/products/

Here's the company's "about" page:

http://sysprogs.com/about/

[pierre-renaux]

Pretty good product too, VisualGDB is the only tool that actually works to do C/C++ debugging on Android.