AnsweredAssumed Answered

Help with RTX setup

Question asked by xie.ted on Jun 13, 2014
Latest reply on Jun 13, 2014 by xie.ted
I think I am having some trouble setting up RTX on the STM3240G-EVAL (STM32F4 series). I have (supposedly) configured the timer for a 1 ms tick rather than the default 10 ms. I have a task that supposedly turns on an LED for 10 ms then turns it off for 990 ms, and does this repeatedly. This is the code I have used:

#include <stm32f4xx.h>
#include <RTL.h>
#include "LED.h"

     *     Pulses LED1 for 10 ms at the top of every second
__task void sendPulse(void) {
     while (1) {

     * Initializes everything
__task void init(void) {
     os_tsk_create(sendPulse, 4);

int main() {

However the LED is never turning off. I checked in the debugger and it is getting stuck on os_dly_wait(). I had a similar issue a while ago while using the HAL code that comes with STM32Cube that was solved by adding the line "HAL_IncTick()" to the SysTickHandler. I do not see as obvious a solution to my current problem. Does anyone have any suggestions?