mbed library sources. Supersedes mbed-src. Edited target satm32f446 for user USART3 pins

Dependents:   IGLOO_board

Fork of mbed-dev by mbed official

Revision:
186:707f6e361f3e
Parent:
167:e84263d55307
diff -r 08ed48f1de7f -r 707f6e361f3e targets/TARGET_Silicon_Labs/mbed_rtx.h
--- 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)