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/