System Workbench for STM32

Just a update:

I've noted that some of my tasks were missing in the list (typically tasks with more time paused) and I found a correction to the code:

const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1;

this happens because of the way OpenOCD uses the number in uxTopUsedPriority to access an array, causing an out of bound access, explained better in these topics:

http://forum.segger.com/index.php?page=Thread&postID=12422

https://sourceforge.net/p/openocd/mailman/openocd-commit/thread/From_openocd-gerrit@users.sourceforge.net_Wed_May_04_21%3A40%3A13_2016/

😊