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?