GNU debugger with RTEMS patches