Python module for operating with freeRTOS kernel objects in GDB - View it on GitHub