# Handle GDB 'R' packet. Can be overriden by configuration script,# but it's not something one would expect target scripts to do# normallyprococd_gdb_restart{target_id}{# Fix!!! we're resetting all targets here! Really we should reset only# one targetresethalt
}