mbed official / mbed

The official Mbed 2 C/C++ SDK provides the software platform and libraries to build your applications.

Dependents:   hello SerialTestv11 SerialTestv12 Sierpinski ... more

mbed 2

This is the mbed 2 library. If you'd like to learn about Mbed OS please see the mbed-os docs.

Diff: TARGET_SAKURAIO_EVB_01/TARGET_STM/mbed_rtx.h

Revision:
167:84c0a372a020
Parent:
165:d1b4690b3f8b
Child:
169:a7c7b631e539
--- a/TARGET_SAKURAIO_EVB_01/TARGET_STM/mbed_rtx.h	Fri Apr 20 11:08:29 2018 +0100
+++ b/TARGET_SAKURAIO_EVB_01/TARGET_STM/mbed_rtx.h	Fri May 11 16:51:14 2018 +0100
@@ -122,7 +122,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__[];