added a paragraph about preparing a kernel source directory to match an

already compiled kernel.

diff --git a/INSTALL b/INSTALL
index f5e36817a7a329bf674593cd5a96ffaccdec9e6e..71ea3020b593301a33ad9081c20e7a6fc8e6fc69 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -8,6 +8,21 @@ compile your own kernel.  Comedi should work with most 2.2 and
 2.4 Linux kernels.  Support for 2.0.3x is not actively maintained,
 but it should work and bugs will be fixed as they are reported.
 
+You can also prepare a kernel source tree that matches
+the kernel you are currently running if you have its config file (in
+the Debian distibution the config files for the kernel-image packages
+are installed into the /boot directory).  Perform the following steps:
+1) Get a copy of the kernel source that matches the kernel you are
+       running.  Unpack it and copy your kernel config file to '.config'
+       in the top directory of your kernel source.
+2) run 'make oldconfig' in your kernel source directory.
+3) You might need to edit the file 'Makefile' in the kernel source.
+       At the top of the Makefile, the variable EXTRAVERSION is defined.
+       If necessary, change it to match your kernel (for example, if the command
+       'uname -r' produces "2.4.16-386" then your EXTRAVERSION should be
+       set as 'EXTRAVERSION=-386'.
+4) run 'make dep' in the kernel source directory and you are done.
+
 Red Hat users note: Kernel sources that are distributed with Red
 Hat Linux are not supported, because they are too heavily
 modified.  However, there is some information in