diff options
| author | Christian Gmeiner <christian.gmeiner@gmail.com> | 2013-02-13 11:07:38 +0100 |
|---|---|---|
| committer | Stefan Reinauer <stefan.reinauer@coreboot.org> | 2013-04-01 20:54:48 +0200 |
| commit | 8b5b764af6562235823f03c04e8184f048ab6320 (patch) | |
| tree | 32f7a6cf434de8cadd80989477891ccd0caa2c50 /src/device/Makefile.inc | |
| parent | d2be1f11e11b68d88f9065ae75f32d7982cc3fe6 (diff) | |
console: Make use of CONFIG_USE_OPTION_TABLE
It makes much more sense to use CONFIG_USE_OPTION_TABLE instead
of CONFIG_HAVE_CMOS_DEFAULT. As we want to read the used
debug_level from our CMOS. This change makes it possible to
change log_debug via nvramtool and make use of the new
value after a reboot/poweroff.
CONFIG_HAVE_CMOS_DEFAULT does have an other meaning
Change-Id: I438dd01a2b4171dba2b73f2001511c71f4317725
Signed-off-by: Christian Gmeiner <christian.gmeiner@gmail.com>
Reviewed-on: http://review.coreboot.org/2381
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
Diffstat (limited to 'src/device/Makefile.inc')
0 files changed, 0 insertions, 0 deletions