diff options
| author | Alasdair Armstrong | 2019-10-31 18:26:31 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-10-31 18:26:31 +0000 |
| commit | b53e4e02517624edaab08f5583d24f6fbaa385fd (patch) | |
| tree | 6b8b80e930d4946a22a1d1f15eba147808ec8086 /src/util.mli | |
| parent | 2b2ab7a174384b87dc4bfda281383cad0058a1fa (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/util.mli')
| -rw-r--r-- | src/util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.mli b/src/util.mli index 9c57e360..a29bdba2 100644 --- a/src/util.mli +++ b/src/util.mli @@ -237,6 +237,7 @@ val split_on_char : char -> string -> string list val termcode : int -> string val bold : string -> string +val dim : string -> string val darkgray : string -> string val green : string -> string val red : string -> string |