I think this is a great idea. I tried making the changes to the kernel
so that the entire thing does not have to recompile each time you do a
make config. What I found was that the actual changes to the kernel
source code/Makefiles take less than an hour to do. The problem I ran into
was that I would have had to change the Configure script in some pretty
fundamental ways to make everything work. I have been thinking about the
best way to do this, and I think the scheme you suggest is it. Basically
you need a database which stores the configurable kernel paramaters, and
their relation to each other. I have tried to come up with a good syntax,
but parsers are not my thing.
Jim