> I believe that if you install the debian kernel-source package, it > comes configured with the configuration used in the the kernel-image > packages, which is the configuration used on the boot disks.
As it turns out, that is absolutely correct. I just needed to look for ".config.sav" rather than ".config". Thanx for the info!