Python script for debugging ChibiOS/RT in gdb