Source

[Bruce Burhans]

    Is Kernel 2.4.1.7 (or is it 2.4.17 ?) the one that comes with
2.2r5?
    I searched <debian.org>  from top to bottom and couldn't find this
info.  Don't want to buy source for wrong kernel.

Thanks,

Bruce<+>