Stefan Reinauer (stefan.reinauer@coreboot.org) just uploaded a new patch set to gerrit, which you can find at http://review.coreboot.org/2381
-gerrit
commit ca55596d8dbc1edf0fdd51b5a26835b9fcbe1a3f Author: Christian Gmeiner christian.gmeiner@gmail.com Date: Wed Feb 13 11:07:38 2013 +0100
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 --- src/console/console.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/console/console.c b/src/console/console.c index 34a26ec..afbba9d 100644 --- a/src/console/console.c +++ b/src/console/console.c @@ -30,7 +30,7 @@ * storage can be used. This will benefit machines without CMOS as well as those * without a battery-backed CMOS (e.g. some laptops). */ -#if CONFIG_HAVE_CMOS_DEFAULT +#if CONFIG_USE_OPTION_TABLE #include <pc80/mc146818rtc.h> #else static inline int get_option(void *dest, const char *name) { return -1; }