Official mbed Real Time Operating System based on the RTX implementation of the CMSIS-RTOS API open standard. Support for nucleo F401RE
Dependents: rtos_basic_stm32_F401
Fork of mbed-rtos by
Diff: rtx/TARGET_M4/TOOLCHAIN_ARM/HAL_CM4.c
- Revision:
- 29:eafcfe4b7aac
- Parent:
- 13:869ef732a8a2
--- a/rtx/TARGET_M4/TOOLCHAIN_ARM/HAL_CM4.c Sat Apr 19 13:36:32 2014 +0000 +++ b/rtx/TARGET_M4/TOOLCHAIN_ARM/HAL_CM4.c Sun Apr 20 19:10:49 2014 +0000 @@ -274,6 +274,7 @@ /*-------------------------- SysTick_Handler --------------------------------*/ __asm void SysTick_Handler (void) { + IMPORT HAL_IncTick PRESERVE8 #ifdef IFX_XMC4XXX @@ -286,6 +287,7 @@ B Sys_Switch ALIGN + BL HAL_IncTick }