|
|
@@ -56,6 +56,7 @@ CONFIG_CPU_SUPPORTS_HIGHMEM=y
|
|
|
# CONFIG_CPU_VR41XX is not set
|
|
|
CONFIG_CSRC_R4K=y
|
|
|
CONFIG_CSRC_R4K_LIB=y
|
|
|
+# CONFIG_DEBUG_ZBOOT is not set
|
|
|
CONFIG_DECOMPRESS_LZMA=y
|
|
|
# CONFIG_DM9000 is not set
|
|
|
CONFIG_DMA_NONCOHERENT=y
|
|
|
@@ -157,4 +158,5 @@ CONFIG_SYS_SUPPORTS_ZBOOT_UART16550=y
|
|
|
CONFIG_TRAD_SIGNALS=y
|
|
|
CONFIG_TREE_RCU=y
|
|
|
CONFIG_VLYNQ=y
|
|
|
+# CONFIG_VLYNQ_DEBUG is not set
|
|
|
CONFIG_ZONE_DMA_FLAG=0
|