Been having a bit of trouble porting our nRF51 project to nRF52 SDK11. It seems to not like using hal_cm4.c from RTX_CM4.lib with FPU. Seems to get stuck on OS_Tick_Handler. However, when I replace it with RTX_CM3.lib and disable FPU, it seems to work.
Is there a reference example that also uses CORTEX_M4F define with FPU and RTX_CM4.lib? I can't seem to find any in SDK11, 12, 13. I just see blinky_rtx use RTX_CM3.lib. Or a guide on how to setup and configure nRF52 on Keil for RTX and Cortex_M4F with FPU enabled would be helpful.
What I have defined in compiler: __CORTEX_M4F RTX S132 __CMSIS_RTOS NRF52 BLE_STACK_SUPPORT_REQD