> Is there a Debian-specific howto or man page for recompiling > the kernel? That's covered in the "Debian Installation Manual" (available at www.debian.org in pdf-format). Tobias