Configuration Menu Language 2

CML2 is a new kernel configuration language by Eric Raymond

Some features:
Better, cleaner configuration syntax
A single parser for all configuration interfaces
Theorem prover prohibits invalid configurations

Downsides:
Slightly slower startup (getting better)
Requires Python2 

http://www.tuxedo.org/~esr/kbuild/