diff options
Diffstat (limited to 'configs/platform-energymicro-efm32gg-dk3750/platformconfig')
| -rw-r--r-- | configs/platform-energymicro-efm32gg-dk3750/platformconfig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/configs/platform-energymicro-efm32gg-dk3750/platformconfig b/configs/platform-energymicro-efm32gg-dk3750/platformconfig index 448dc83..1347a11 100644 --- a/configs/platform-energymicro-efm32gg-dk3750/platformconfig +++ b/configs/platform-energymicro-efm32gg-dk3750/platformconfig @@ -95,8 +95,8 @@ PTXCONF_TARGET_EXTRA_LDFLAGS="-march=armv7-m -mthumb" PTXCONF_KERNEL=y # PTXCONF_KERNEL_INSTALL is not set # PTXCONF_KERNEL_MODULES is not set -PTXCONF_KERNEL_VERSION="3.11-rc1" -PTXCONF_KERNEL_MD5="bf7c2b855be58793812d8ac72962c851" +PTXCONF_KERNEL_VERSION="3.12-rc4" +PTXCONF_KERNEL_MD5="f7586f9af94d28eb58fd27ca4f8caac5" PTXCONF_KERNEL_ARCH_STRING="arm" # PTXCONF_KERNEL_IMAGE_BZ is not set # PTXCONF_KERNEL_IMAGE_Z is not set |