Re: Distributed Kernel options

[Manoj Srivastava <srivasta@datasync.com>]

Hi,

	I think you need the config file from a distribution
 kernel. On recent kernel, this is in /boot/config-<version>. You can
 use dpkg -x kernel-image*.deb /tmp to extract the default kernel to
 /tmp; look then in /tmp/boot for the config file; use kernel-package
 to rebuild the kernel. (look at the docs for kernel-package)

	Is that coherent?

	manoj
-- 
 "You and I as individuals can, by borrowing, live beyond our means,
 but only for a limited period of time.  Why should we think that
 collectively, as a nation, we are not bound by that same limitation?"
 Ronald Reagan
Manoj Srivastava  <srivasta@acm.org> <http://www.datasync.com/%7Esrivasta/>
Key C7261095 fingerprint = CB D9 F4 12 68 07 E4 05  CC 2D 27 12 1D F5 E8 6E


--
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org