diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 92520604e9..926bee501e 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -3,6 +3,7 @@
 # see misc/tools/kconfig-language.txt.
 #
 
+if ARCH_ARM
 choice
 	prompt "ARM chip selection"
 	default ARCH_CHIP_STM32
@@ -103,3 +104,5 @@ source arch/arm/src/lpc31xx/Kconfig
 source arch/arm/src/sam3u/Kconfig
 source arch/arm/src/stm32/Kconfig
 source arch/arm/src/str71x/Kconfig
+
+endif
diff --git a/arch/sim/Kconfig b/arch/sim/Kconfig
index 00253d0dc9..dce2bc9185 100644
--- a/arch/sim/Kconfig
+++ b/arch/sim/Kconfig
@@ -24,4 +24,9 @@ config ARCH_BOARD_WIN32
 	  THIS PORT NOT SUPPORTED.
 
 endchoice
+
+config ARCH_BOARD
+	string
+	default "sim" if ARCH_BOARD_SIM
+	
 endif