The make *config scripts already do all the validation required. No
need to write a DTD, just feed your generated .config through
tr '\000' '\n' < /dev/zero | make config
Takes all the values listed in .config. If make config does not complete
after a couple of minutes then you managed to generate a .config with an
invalid combination - that might point to a bug in make config.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/