Genadi Zawidowski / mbed-dev

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

Dependents:   IGLOO_board

Fork of mbed-dev by mbed official

Diff: targets/TARGET_Realtek/mbed_rtx.h

Revision:
174:b96e65c34a4d
Parent:
173:e131a1973e81
Child:
176:447f873cad2f
diff -r e131a1973e81 -r b96e65c34a4d targets/TARGET_Realtek/mbed_rtx.h
--- a/targets/TARGET_Realtek/mbed_rtx.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/targets/TARGET_Realtek/mbed_rtx.h	Mon Oct 02 15:33:19 2017 +0100
@@ -20,7 +20,7 @@
 
 #include "rtl8195a.h"
 
-#if defined(__CC_ARM)
+#if defined(__CC_ARM) || (defined(__ARMCC_VERSION) || (__ARMCC_VERSION >= 6010050))
     extern uint32_t             Image$$ARM_LIB_STACK$$ZI$$Base[];
     extern uint32_t             Image$$ARM_LIB_STACK$$ZI$$Length[];
     #define ISR_STACK_START     (unsigned char *)(Image$$ARM_LIB_STACK$$ZI$$Base)