summaryrefslogtreecommitdiff
path: root/nuttx/arch
diff options
context:
space:
mode:
Diffstat (limited to 'nuttx/arch')
-rw-r--r--nuttx/arch/arm/Kconfig3
-rw-r--r--nuttx/arch/sim/Kconfig5
2 files changed, 8 insertions, 0 deletions
diff --git a/nuttx/arch/arm/Kconfig b/nuttx/arch/arm/Kconfig
index 92520604e..926bee501 100644
--- a/nuttx/arch/arm/Kconfig
+++ b/nuttx/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/nuttx/arch/sim/Kconfig b/nuttx/arch/sim/Kconfig
index 00253d0dc..dce2bc918 100644
--- a/nuttx/arch/sim/Kconfig
+++ b/nuttx/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