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:
11:db1fc233faa9
Parent:
10:fcb1f103f7a1
diff -r fcb1f103f7a1 -r db1fc233faa9 rtx/rt_CMSIS.c
--- a/rtx/rt_CMSIS.c	Wed Apr 24 14:45:21 2013 +0000
+++ b/rtx/rt_CMSIS.c	Tue Apr 30 10:51:19 2013 +0000
@@ -47,7 +47,7 @@
 #endif
 
 #include "rt_TypeDef.h"
-#include "RTX_Config.h"
+#include "RTX_Conf.h"
 #include "rt_System.h"
 #include "rt_Task.h"
 #include "rt_Event.h"