I am wondering if someone can answer this simple easy question.

Is the Debian kernel that comes with Knoppix 3.9, 4.0.2 the unmodified Debian kernel? Or has it been specially modified for Knoppix?

I need to know so I know whether it's worth it trying to compile/build VMWorkstation for Knoppix/Debian.