Loading...
 
Skip to main content

System Workbench for STM32


Freertos Debugging

I'd just tried it out now.

  • guilding openocd 0.9.0 from source under Kubuntu 14.04
  • starting openocd, connecting to a Stm32F4 Discovery board (using St-Link for the first)
  • starding a debug session works all out of the box


Then I'd activated the freertos support as described in the openocd manual but get error messages:

Error: FreeRTOS: uxTopUsedPriority is not defined, consult the OpenOCD manual for a work-around

I got this error messages although I have the described workaround in my code:

const int uxTopUsedPriority = configMAX_PRIORITIES;

(and of course, I'd made sure the symbol is neither dropped by the linker nor mangled with C++ linkage et cetera.

Did you get to work this before?