On Sun, Aug 11, 2002 at 01:34:22AM -0400, Steve Dondley wrote: > My question is this: how can I find out which configuration settings my > current kernel was compiled under so that I can configure the downloaded > kernel sources properly and get my driver compiled? > Kernel configs for official debian kernels (and anything made with make-kpkg) should be in /boot. Yours should be /boot/config-2.4.16-k6