Zhen Liu / mbed-rtos

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

Dependencies:   EthernetInterface

Dependents:   ethernet

Fork of mbed-rtos by mbed official

Diff: rtos/RtosTimer.cpp

Revision:
38:ff95651f53c7
Parent:
36:512640f00564
Child:
40:bd07334df5b1