some progress on kconfig:
[coreboot.git] / src / cpu / x86 / Kconfig
index 7cb5da0893cdc54fac305d390536aa68e8d8249e..b6ae9967e591ef2b566fabfc02566d938f999c39 100644 (file)
@@ -2,6 +2,10 @@ config SERIAL_CPU_INIT
        bool
        default y
 
+config WAIT_BEFORE_CPUS_INIT
+       bool
+       default n
+
 config UDELAY_TSC
        bool
        default n
@@ -16,4 +20,4 @@ config XIP_ROM_BASE
 
 config XIP_ROM_SIZE
        hex
-       default 0x2000
+       default 0x20000