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

Dependents:   denki-yohou_b TestY201 Network-RTOS NTPClient_HelloWorld ... more

Deprecated

This is the mbed 2 rtos library. mbed OS 5 integrates the mbed library with mbed-rtos. With this, we have provided thread safety for all mbed APIs. If you'd like to learn about using mbed OS 5, please see the docs.

Revision:
7:80173c64d05d
Parent:
6:350b53afb889
Child:
10:fcb1f103f7a1
--- a/rtx/rt_HAL_CM.h	Fri Nov 23 09:57:31 2012 +0000
+++ b/rtx/rt_HAL_CM.h	Fri Nov 23 10:16:38 2012 +0000
@@ -262,7 +262,7 @@
 #ifdef DBG_MSG
 #define DBG_INIT() dbg_init()
 #define DBG_TASK_NOTIFY(p_tcb,create) if (dbg_msg) dbg_task_notify(p_tcb,create)
-#define DBG_TASK_SWITCH(task_id)      if (dbg_msg && (os_tsk.new!=os_tsk.run)) \
+#define DBG_TASK_SWITCH(task_id)      if (dbg_msg && (os_tsk.new_tsk != os_tsk.run)) \
                                                    dbg_task_switch(task_id)
 #else
 #define DBG_INIT()