mbed official / mbed-rtos

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.

Diff: rtx/TARGET_CORTEX_M/rt_Timer.c

Revision:
114:031a41d65add
Parent:
112:53ace74b190c
diff -r d9366c711a75 -r 031a41d65add rtx/TARGET_CORTEX_M/rt_Timer.c
--- a/rtx/TARGET_CORTEX_M/rt_Timer.c	Thu May 05 22:00:15 2016 +0100
+++ b/rtx/TARGET_CORTEX_M/rt_Timer.c	Fri May 06 19:15:13 2016 +0100
@@ -36,6 +36,7 @@
 #include "RTX_Config.h"
 #include "rt_Timer.h"
 #include "rt_MemBox.h"
+#include "cmsis_os.h"
 
 #ifndef __CMSIS_RTOS