On Nov 3,  1:04am, Chris_G_Demetriou@BALVENIE.PDL.CS.CMU.EDU (Chris G
  Demetriou) wrote:

| I would actually suggest one "options.h", rather than lots of little
| foo.h files, which would then be included in every .c file in the
| kernel.
| 
| in what way is it a "maintainence nightmare"?  I don't think that it
| causes any serious problems, other than a few extra recompilations.

Why don't you just add a dependency to the Makefile?

$(SYSTEM_OBJ): Makefile

The effect should (?) be the same, and no other changes to kernel
source are needed.

Another idea would be to use config's 'config-dependent' flag with any
file that has an #ifdef.  However, I'm not sure if/how this idea would
work, and it has much greater maintenance overhead.
-- 
Mike Long <mike.long@analog.com>           http://www.shore.net/~mikel
VLSI Design Engineer         finger mikel@shore.net for PGP public key
Analog Devices, CPD Division          CCBF225E7D3F7ECB2C8F7ABB15D9BE7B
Norwood, MA 02062 USA                assert(*this!=opinionof(Analog));