1choice 2 prompt "Platform Setup" 3config OS_ARCH_ARMV7_M 4 bool "ARMV7_M" 5endchoice 6 7source "arch/cpu/armv7-m/Kconfig" 8 9