|
@@ -147,6 +147,7 @@ CONFIG_SYS_HAS_EARLY_PRINTK=y
|
|
|
CONFIG_SYS_SUPPORTS_32BIT_KERNEL=y
|
|
CONFIG_SYS_SUPPORTS_32BIT_KERNEL=y
|
|
|
CONFIG_SYS_SUPPORTS_ARBIT_HZ=y
|
|
CONFIG_SYS_SUPPORTS_ARBIT_HZ=y
|
|
|
CONFIG_SYS_SUPPORTS_LITTLE_ENDIAN=y
|
|
CONFIG_SYS_SUPPORTS_LITTLE_ENDIAN=y
|
|
|
|
|
+# CONFIG_TC35815 is not set
|
|
|
CONFIG_TICK_ONESHOT=y
|
|
CONFIG_TICK_ONESHOT=y
|
|
|
CONFIG_TRACING_SUPPORT=y
|
|
CONFIG_TRACING_SUPPORT=y
|
|
|
CONFIG_TRAD_SIGNALS=y
|
|
CONFIG_TRAD_SIGNALS=y
|
Gabor Juhos