X-Git-Url: https://git.sur5r.net/?a=blobdiff_plain;f=arch%2Farc%2FKconfig;h=6f139d5bdc52edb28829fb64d9d9b5255faf8d76;hb=18053a8505d353336ae784d70a52e1f96f8bae7e;hp=4c5696be1c3c834dcd8626aa412d9f878fbecd72;hpb=65fcba1251dcb1fc2c48966406145a69fee3a817;p=u-boot

diff --git a/arch/arc/Kconfig b/arch/arc/Kconfig
index 4c5696be1c..6f139d5bdc 100644
--- a/arch/arc/Kconfig
+++ b/arch/arc/Kconfig
@@ -116,9 +116,27 @@ config SYS_DCACHE_OFF
 	bool "Do not use Data Cache"
 	default n
 
+menuconfig ARC_DBG
+	bool "ARC debugging"
+	default n
+
+if ARC_DBG
+
+config ARC_DBG_IOC_ENABLE
+	bool "Enable IO coherency unit"
+	depends on CPU_ARCHS38
+	default n
+	help
+	  Enable IO coherency unit to debug problems with caches and
+	  DMA peripherals.
+	  NOTE: as of today linux will not work properly if this option
+	  is enabled in u-boot!
+
+endif
+
 choice
 	prompt "Target select"
-	default TARGET_AXS10X
+	default TARGET_AXS103
 
 config TARGET_TB100
 	bool "Support tb100"
@@ -126,13 +144,25 @@ config TARGET_TB100
 config TARGET_NSIM
 	bool "Support standalone nSIM & Free nSIM"
 
-config TARGET_AXS10X
-	bool "Support Synopsys Designware SDP board (AXS101 & AXS103)"
+config TARGET_AXS101
+	bool "Support Synopsys Designware SDP board AXS101"
+
+config TARGET_AXS103
+	bool "Support Synopsys Designware SDP board AXS103"
+
+config TARGET_EMDK
+	bool "Synopsys EM Development kit"
+	select CPU_ARCEM6
+
+config TARGET_HSDK
+	bool "Support Synpsys HS DevelopmentKit board"
 
 endchoice
 
 source "board/abilis/tb100/Kconfig"
 source "board/synopsys/Kconfig"
 source "board/synopsys/axs10x/Kconfig"
+source "board/synopsys/emdk/Kconfig"
+source "board/synopsys/hsdk/Kconfig"
 
 endmenu