Better document how to run mockturtle-gdbserver
While trying to use it I ran into the following issues:
- I needed to use
mockturtle-gdbserver -s
to swap endianess for a VME board (otherwise I receive the messageMock Turtle debugger failed: Timer expired
) - I needed to point to my riscv executable (either on command line or using
file
in gdb prompt) before doingtarget remote
on my local gdb, otherwise I got the errorwarning: No executable has been specified and target does not support determining executable automatically. Try using the "file" command. Truncated register 16 in remote 'g' packet
.
These could be better documented in the relative doc section.
Also consider deprecating (or clarifing the use of) the python mockturtle debugger.