menu "Arch configuration" choice BUILD_TARGET_ARCH_TYPE prompt "Select target arch" default TARGET_ARMv8 help Select arch for build config TARGET_ARMv8 bool "Armv8" endchoice # BUILD_TARGET_ARCH_TYPE config ARCH_NAME string default "armv8" if TARGET_ARMv8 if TARGET_ARMv8 source "$SDK_DIR/arch/armv8/armv8.kconfig" endif endmenu