RTEMS GDB Python