From b53e4e02517624edaab08f5583d24f6fbaa385fd Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 31 Oct 2019 18:26:31 +0000
Subject: 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.
---
 src/util.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/util.mli')

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
-- 
cgit v1.2.3