44a45
> #include "sim/debug.hh"
186c187,188
< if (rgdb_enable) {
---
> int port = getRemoteGDBPort();
> if (rgdb_enable && port) {
188c190
< GDBListener *gdbl = new GDBListener(rgdb, 7000 + id);
---
> GDBListener *gdbl = new GDBListener(rgdb, port + id);