In the process of trying to debug some HT sync problems I added lots of
[coreboot.git] / src / mainboard / tyan / s2882 / Options.lb
index 23b2658ed61b2ae322ead6bcbeebf3458ee7e5f0..b6d62a43d4a087cdb7f7ff1af24ea4491e87014c 100644 (file)
@@ -60,6 +60,7 @@ uses USE_DCACHE_RAM
 uses DCACHE_RAM_BASE
 uses DCACHE_RAM_SIZE
 uses CONFIG_USE_INIT
+uses CONFIG_USE_PRINTK_IN_CAR
 
 ###
 ### Build options
@@ -199,6 +200,8 @@ default HOSTCC="gcc"
 ## 
 default CONFIG_GDB_STUB=0
 
+default CONFIG_USE_PRINTK_IN_CAR=1
+
 ##
 ## The Serial Console
 ##