On Mon, Aug 28, 2006 at 10:07:28AM +0100, David Laight wrote:
> I might also change the defines to be KERNEL_OPT_FOO at the same time.

that is, for options FOO, config would #define KERNEL_OPT_FOO?

I think that this is not a good idea. Currently you can define an
arbitrary kernel macro by just adding the "options" line to the config
file. The proposed change would destroy that feature.

Pavel