Tell gdb what xlen is when there's no ELF file.
authorTim Newsome <tim@sifive.com>
Wed, 13 Jul 2016 17:51:05 +0000 (10:51 -0700)
committerTim Newsome <tim@sifive.com>
Tue, 19 Jul 2016 18:24:25 +0000 (11:24 -0700)
commit8d04a081afdc1bddf5f60192692f6a7de50ed1c8
treef04b1aa2fb7ad1b54d025ea066d4aefabeca0f63
parentfd866d07b277dd3ed8e9888a262dd134c59345e5
Tell gdb what xlen is when there's no ELF file.

This makes several spike32 tests pass that used to fail. Ideally gdb
wouldn't need to be told, but that's a project for another day.
debug/gdbserver.py