> I would reccomend you download a new kernel and experiment with that
> one (if you haven't already), that way if something goes wrong, you have
> the original to fall back on.
Yes I downloaded the 188.8.131.52-7 with apt-get. I know it's not the very latest kernel, but it's the latest one in the repository for my distro (Ubunto Hoary).
This was my first expedition into kernel sources, and I'm not absolutely sure what was in /usr/src/ before I started this. I had to create the symlink 'Linux'. And as I remember it, there were no kernel sources in /usr/src/. Is that likely? Is that how Ubuntu installs by default? If so, I could delete everything except the kernel tarball I downloaded.
> If you use make menuconfig again, it should re-load what you selected so
> you can see what is going to be built into the kernel and what is going to
> be a module.
But I need to get back to the way it was compiled when I installed Ubuntu (that's how I've left it up to now, and it runs great). The plan was simply to tweak things (such as high memory and processor type), and eliminate whatever was compiled by default that I don't need. None of this was really necessary; I was doing it as a learning experience--and that part of it working out according to plan.
Thanks for you help,