On Wed, Jan 26, 2011 at 09:38:57PM -0500, Kevin O'Connor wrote:

Create autoconf.h during the build.

Move a couple of config settings from config.h to Kconfig. [...] --- /dev/null +++ b/src/defconfig @@ -0,0 +1,6 @@ +# SeaBIOS default configuration

On closer inspection, it's possible to have Kconfig generate the default config from the Kconfig file. So, it's not necessary to commit a "defconfig" file. -Kevin