To add something a little more substantial to this message, I'd like to
inform everyone that I'll be attempting to make a site where one can
configure his kernel online, send the config to my server where it will
compile your kernel and give you the possibility to download it. I'm doing
this because there is an entire class of people that will want to be making
boot/root disks to simply be able to bring their class work home. Of
course everyone has a different system at home... If there's a general
interest in something like that I could make the site public. Of course
the best thing would be that there is something like this in place but that
I had missed it. In the meantime I'll keep trying to get that boot/root
disk going.
Help/comments appreciated.