summaryrefslogtreecommitdiff
path: root/src/value.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2019-10-31 18:26:31 +0000
committerAlasdair Armstrong2019-10-31 18:26:31 +0000
commitb53e4e02517624edaab08f5583d24f6fbaa385fd (patch)
tree6b8b80e930d4946a22a1d1f15eba147808ec8086 /src/value.ml
parent2b2ab7a174384b87dc4bfda281383cad0058a1fa (diff)
Allow sail interactive toplevel to connect to a running QEMU instance using GDB/MI
After starting QEMU with -s -S we can run :gdb_qemu in isail to connect to it using a gdb-multiarch child process, which we communicate with via the gdb/mi interface. :gdb_send command sends a command to gdb and waits for it to respond. The idea is we will have a :gdb_sync command that will sync the register state of the running QEMU session with the Sail interpreter after a breakpoint, then we can run Sail code to test the state of the machine by hooking memory reads into approprate gdb commands.
Diffstat (limited to 'src/value.ml')
0 files changed, 0 insertions, 0 deletions