Diff: targets/TARGET_Silicon_Labs/mbed_rtx.h

Revision:

186:707f6e361f3e

Parent:

167:e84263d55307

Child:

187:0387e8f68319

--- a/targets/TARGET_Silicon_Labs/mbed_rtx.h	Thu Apr 19 17:12:19 2018 +0100
+++ b/targets/TARGET_Silicon_Labs/mbed_rtx.h	Fri Jun 22 16:45:37 2018 +0100
@@ -20,31 +20,31 @@
 #include <stdint.h>
 #include "clocking.h"
 
-#if defined(TARGET_EFM32GG_STK3700)
+#if defined(TARGET_EFM32GG)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20020000UL)
 #endif
 
-#elif defined(TARGET_EFM32HG_STK3400)
+#elif defined(TARGET_EFM32HG)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20002000UL)
 #endif
 
-#elif defined(TARGET_EFM32LG_STK3600)
+#elif defined(TARGET_EFM32LG)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20008000UL)
 #endif
 
-#elif defined(TARGET_EFM32PG_STK3401)
+#elif defined(TARGET_EFM32PG)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20008000UL)
 #endif
 
-#elif defined(TARGET_EFM32WG_STK3800)
+#elif defined(TARGET_EFM32WG)
 
 #ifndef INITIAL_SP
 #define INITIAL_SP              (0x20008000UL)