In a message dated 1/7/99 3:41:51 PM Central Standard Time, [EMAIL PROTECTED] treff.uni-koeln.de writes:
> M> Is there a way to find out what options the current kernel has been > M> compiled with? I don't want to miss anything or add anything that > M> I don't already have and won't need. > > If you use a kernel made with kernel-package or one of the > kernel-binary Debian packages, then the config is saved in /boot/ > > Also the .config file may be in your old source tree. > Thanks for the try Martin, but that didn't give me what I need. My /boot only has the following in it: total 703 drwxr-xr-x 2 root root 1024 Dec 16 10:10 . drwxr-xr-x 20 root root 1024 Dec 24 13:12 .. -rw-r--r-- 1 root root 4536 Nov 21 1997 boot.b -rw-r--r-- 1 root root 300 Nov 21 1997 chain.b -rw-r--r-- 1 root root 444 Dec 12 1997 mbr.b -rw-r--r-- 1 root root 308 Nov 21 1997 os2_d.b -rwxr-xr-x 1 root root 704533 Dec 16 10:03 vmlinuz-2.0.34 All of these are binary files. Also, I didn't compile my Kernel, if I did, I'd have the options :) - but I did use the 2.0.34 distribution from the Debian site. So, any other guesses on how I can get the default options that my Kernel was compiled with? -Jay