[SeaBIOS] [PATCH 4/4] Start using Kconfig to configure SeaBIOS settings.

[Kevin O'Connor]

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