|
|
@@ -57,6 +57,7 @@ CONFIG_DNOTIFY=y
|
|
|
CONFIG_DTC=y
|
|
|
# CONFIG_E200 is not set
|
|
|
CONFIG_E500=y
|
|
|
+CONFIG_E500_CPU=y
|
|
|
# CONFIG_E5500_CPU is not set
|
|
|
# CONFIG_E6500_CPU is not set
|
|
|
CONFIG_EARLY_PRINTK=y
|
|
|
@@ -194,6 +195,7 @@ CONFIG_PHYSICAL_START=0x00000000
|
|
|
CONFIG_PPC=y
|
|
|
CONFIG_PPC32=y
|
|
|
# CONFIG_PPC64 is not set
|
|
|
+# CONFIG_PPC_BOOK3S_32 is not set
|
|
|
CONFIG_PPC_85xx=y
|
|
|
# CONFIG_PPC_8xx is not set
|
|
|
CONFIG_PPC_ADV_DEBUG_DACS=2
|
|
|
@@ -254,6 +256,7 @@ CONFIG_THREAD_SHIFT=13
|
|
|
CONFIG_TICK_CPU_ACCOUNTING=y
|
|
|
CONFIG_TINY_SRCU=y
|
|
|
# CONFIG_TL_WDR4900_V1 is not set
|
|
|
+# CONFIG_TOOLCHAIN_DEFAULT_CPU is not set
|
|
|
# CONFIG_TQM8540 is not set
|
|
|
# CONFIG_TQM8541 is not set
|
|
|
# CONFIG_TQM8548 is not set
|