Don't die when gdb thinks XLEN is 64 but it's 32.
authorTim Newsome <tim@sifive.com>
Fri, 7 Oct 2016 15:56:05 +0000 (08:56 -0700)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Fri, 7 Oct 2016 18:40:18 +0000 (11:40 -0700)
commit438a337fa09a0a81789730393b99913750d2fe08
treecea000c05daac80a792f203913be2f7d1ff5be77
parent8b3ef1347107fb3350837910b21f52d5fb1e4f05
Don't die when gdb thinks XLEN is 64 but it's 32.

Instead, just give gdb what it asks for.
Also when gdb does a register write, let the user know that it's likely
misconfigured and tell them how to fix it.

This is probably as well as issue #72 can be fixed in spike.
riscv/gdbserver.cc
riscv/gdbserver.h