Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard.

Fork of mbed-rtos by mbed official

Revision:
12:58b30ac3f00e
Parent:
6:350b53afb889
Child:
13:869ef732a8a2
--- a/rtx/cmsis_os.h	Tue Apr 30 10:51:19 2013 +0000
+++ b/rtx/cmsis_os.h	Thu May 30 17:08:58 2013 +0100
@@ -115,7 +115,7 @@
 #define CMSIS_OS_RTX
 
 // The stack space occupied is mainly dependent on the underling C standard library
-#if defined(TOOLCHAIN_GCC_ARM) || defined(TOOLCHAIN_CS_ARM) || defined(TOOLCHAIN_CR_ARM)
+#if defined(TOOLCHAIN_GCC_ARM) || defined(TOOLCHAIN_CS_ARM) || defined(TOOLCHAIN_CR_ARM) || defined(TOOLCHAIN_GCC_CR)
 #    define WORDS_STACK_SIZE   512
 #elif defined(TOOLCHAIN_ARM)
 #    define WORDS_STACK_SIZE   512