RTEMS GDB server packaging