> I look forward to hearing from someone who can offer help on making > "make config" work. > > I followed the instructions of > http://www.us.debian.org/doc/FAQ/debian-faq-11.html, "The Debian > GNU/Linux FAQ: Debian and the kernel." > > Installed: gcc, libc6-dev, bin86, binutils, and gawk. > Executed: dpkg --install kernel-package_VVV_all.deb [..snip..] You also need to install kernel-source*.deb. Pierre Blanchet