CONFIG_ARM_SINGLE_ARMV7M is not available for thedefaultarchitecture x86.
Result is shown for architecture arm
CONFIG_ARM_SINGLE_ARMV7M (not configurable)
configname: CONFIG_ARM_SINGLE_ARMV7M
Linux Kernel Configuration
└─>System Type
└─>ARM_SINGLE_ARMV7M
In linux kernel since version 3.10 (release Date: 2013-06-30)
selects
CONFIG_ARM_NVICCONFIG_CPU_V7M
CONFIG_NO_IOPORT_MAP
CONFIG_AUTO_ZRELADDR
CONFIG_TIMER_OF
CONFIG_COMMON_CLK
CONFIG_SPARSE_IRQ
CONFIG_USE_OF
CONFIG_GENERIC_CLOCKEVENTS