debug: Checkpoint restoring Spike functionality

[riscv-tests.git] / debug / README.md

diff --git a/debug/README.md b/debug/README.md
index 56f69db07ec6a1cf6c009a97d1d1314b6b860834..04aa13a969d7304bc1d0d968063c61bf5f65a051 100644 (file)
--- a/debug/README.md
+++ b/debug/README.md
@@ -2,9 +2,9 @@ Debug Tests
 ===========
 
 Debugging requires many system components to all work together. The tests here
-perform an end-to-end test, communicating only with gdb. If a simulator or
-hardware passes all these tests, then you can be pretty confident that the
-actual debug interface is functioning correctly.
+perform an end-to-end test, communicating with gdb and OpenOCD.
+If a simulator or hardware passes all these tests, then you can be pretty
+confident that the actual debug interface is functioning correctly.
 
 Targets
 =======
@@ -23,13 +23,14 @@ Targets
 -------------------------------------
 
 `./gdbserver.py --freedom-e300`
+`./gdbserver.py --hifive1`
+
 
 32-bit rocket-chip core in Simulation
 -------------------------------------
 
 `./gdbserver.py --freedom-e300-sim`
 
-
 Debug Tips
 ==========