mirror of https://github.com/ARMmbed/mbed-os.git
8ef1a73735
Remove the assert that the tick count of the OS matches the tick count of the tickless timer as this occurs frequently when debugging. This is because the function svcRtxKernelResume only increments the OS's tick count until the next wakeup event so if the device was halted by a debugger past the next wakeup event the tick counts will be out of sync. |
||
|---|---|---|
| .. | ||
| rtx4 | ||
| rtx5 | ||
| mbed_boot.c | ||
| mbed_rtos1_types.h | ||
| mbed_rtos_storage.h | ||
| mbed_rtx_conf.h | ||
| mbed_rtx_handlers.c | ||
| mbed_rtx_idle.cpp | ||