Diff: targets/TARGET_STM/mbed_rtx.h

Revision:

186:707f6e361f3e

Parent:

184:08ed48f1de7f

Child:

187:0387e8f68319

--- a/targets/TARGET_STM/mbed_rtx.h	Thu Apr 19 17:12:19 2018 +0100
+++ b/targets/TARGET_STM/mbed_rtx.h	Fri Jun 22 16:45:37 2018 +0100
@@ -17,6 +17,8 @@
 #ifndef MBED_MBED_RTX_H
 #define MBED_MBED_RTX_H
 
+#include <stdint.h>
+
 #ifndef INITIAL_SP
 
 #if (defined(TARGET_STM32L475VG) ||\
@@ -98,6 +100,7 @@
 
 #elif (defined(TARGET_STM32F429ZI) ||\
        defined(TARGET_STM32F437VG) ||\
+       defined(TARGET_STM32F439VI) ||\
        defined(TARGET_STM32F439ZI))
 #define INITIAL_SP              (0x20030000UL)
 
@@ -122,7 +125,7 @@
 #endif
 
 #endif // INITIAL_SP
-#if (defined(__GNUC__) && !defined(__CC_ARM) && defined(TWO_RAM_REGIONS))
+#if (defined(__GNUC__) && !defined(__CC_ARM) && !defined(__ARMCC_VERSION) && defined(TWO_RAM_REGIONS))
     extern uint32_t               __StackLimit[];
     extern uint32_t               __StackTop[];
     extern uint32_t               __end__[];