I can see that OpenOCD is RTOS aware and it supports FreeRTOS, which I'm using at the moment.

I have looked at various sources and cannot seem to figure how to use this feature.


1 Answer 1


Indeed the documentation for this amazing feature is rather poor, however there is a guide for ChibiOS. Basically this boils down to:

  1. pass -rtos auto to {TARGET_NAME}.cpu configure in the Tcl configuration script
  2. use thread commands in gdb, where info threads is the probably the one you will use most
  • 4
    \$\begingroup\$ For those struggling (like me); here is how to start openocd for smt32f4 discovery: openocd -f /usr/share/openocd/scripts/board/stm32f4discovery.cfg -c "stm32f4x.cpu configure -rtos auto" \$\endgroup\$
    – HeyYO
    Nov 16, 2016 at 12:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.