diff options
-rw-r--r-- | configs/platform-energymicro-efm32gg-dk3750/kernelconfig-3.12-rc4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configs/platform-energymicro-efm32gg-dk3750/kernelconfig-3.12-rc4 b/configs/platform-energymicro-efm32gg-dk3750/kernelconfig-3.12-rc4 index 1bd5889..590e3c6 100644 --- a/configs/platform-energymicro-efm32gg-dk3750/kernelconfig-3.12-rc4 +++ b/configs/platform-energymicro-efm32gg-dk3750/kernelconfig-3.12-rc4 @@ -1,3 +1,5 @@ +CONFIG_ARM_SINGLE_ARMV7M=y + # # Automatically generated file; DO NOT EDIT. # Linux/arm 3.12.0-rc4 Kernel Configuration |