diff options
| author | Stefan Agner <stefan@agner.ch> | 2015-05-21 00:38:21 +0200 |
|---|---|---|
| committer | Arnd Bergmann <arnd@arndb.de> | 2015-05-22 16:58:03 +0200 |
| commit | 4737130e670e0dac9ec783f4d56a7c34780bf725 (patch) | |
| tree | 61896c0a0984aace3218ad062cf99e254fc9d8f9 /arch/arm/configs | |
| parent | b4423bb834bb25947426d8db9095cd2dc286e341 (diff) | |
ARM: add ARM_SINGLE_ARMV7M in ARMv7-M defconfigs
Select ARM_SINGLE_ARMV7M in defconfigs of the converted ARMv7-M
platforms.
[arnd: moved the efm32_defconfig change to the patch that
originally introduces the symbol, to avoid intermittent regression]
Signed-off-by: Stefan Agner <stefan@agner.ch>
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Diffstat (limited to 'arch/arm/configs')
| -rw-r--r-- | arch/arm/configs/efm32_defconfig | 1 | ||||
| -rw-r--r-- | arch/arm/configs/lpc18xx_defconfig | 1 | ||||
| -rw-r--r-- | arch/arm/configs/stm32_defconfig | 1 |
3 files changed, 2 insertions, 1 deletions
diff --git a/arch/arm/configs/efm32_defconfig b/arch/arm/configs/efm32_defconfig index c4c17e3a8e1a..f2426104ee2b 100644 --- a/arch/arm/configs/efm32_defconfig +++ b/arch/arm/configs/efm32_defconfig @@ -85,7 +85,6 @@ CONFIG_GPIO_SYSFS=y # CONFIG_USB_SUPPORT is not set CONFIG_MMC=y CONFIG_MMC_SPI=y -# CONFIG_IOMMU_SUPPORT is not set CONFIG_EXT2_FS=y # CONFIG_FILE_LOCKING is not set # CONFIG_DNOTIFY is not set diff --git a/arch/arm/configs/lpc18xx_defconfig b/arch/arm/configs/lpc18xx_defconfig index caf7b5248943..d4320a7e433f 100644 --- a/arch/arm/configs/lpc18xx_defconfig +++ b/arch/arm/configs/lpc18xx_defconfig @@ -22,6 +22,7 @@ CONFIG_EMBEDDED=y # CONFIG_IOSCHED_DEADLINE is not set # CONFIG_IOSCHED_CFQ is not set # CONFIG_MMU is not set +CONFIG_ARM_SINGLE_ARMV7M=y CONFIG_ARCH_LPC18XX=y CONFIG_SET_MEM_PARAM=y CONFIG_DRAM_BASE=0x28000000 diff --git a/arch/arm/configs/stm32_defconfig b/arch/arm/configs/stm32_defconfig index fab9cf9bff02..4725fab562cb 100644 --- a/arch/arm/configs/stm32_defconfig +++ b/arch/arm/configs/stm32_defconfig @@ -18,6 +18,7 @@ CONFIG_EMBEDDED=y # CONFIG_IOSCHED_DEADLINE is not set # CONFIG_IOSCHED_CFQ is not set # CONFIG_MMU is not set +CONFIG_ARM_SINGLE_ARMV7M=y CONFIG_ARCH_STM32=y CONFIG_SET_MEM_PARAM=y CONFIG_DRAM_BASE=0x90000000 |