Increase delay in UserInterrupt.
authorTim Newsome <tim@sifive.com>
Mon, 28 Aug 2017 19:11:49 +0000 (12:11 -0700)
committerTim Newsome <tim@sifive.com>
Mon, 28 Aug 2017 19:11:49 +0000 (12:11 -0700)
commitab6c2ccaec192684cf4649d5d69bd105d738d1c7
treed8b43605c85d79c5e62d7a6c294f99ca5f09f5b8
parentd80764d4638dee078c33faac827fe77ddcd268ab
Increase delay in UserInterrupt.

When a machine is very loaded, otherwise it could happen that we send
the interrupt before the resume has actually happened.
debug/gdbserver.py