Increase TCK speed.

diff --git a/debug/gdbserver.py b/debug/gdbserver.py
index 4e2b0b4bb9badd5075ccf3202d8c504a26655901..027d387b7e623842f7affd353033f55e807eddee 100755 (executable)
--- a/debug/gdbserver.py
+++ b/debug/gdbserver.py
@@ -400,6 +400,7 @@ class MprvTest(DeleteServer):
     def test_mprv(self):
         """Test that the debugger can access memory when MPRV is set."""
         self.gdb.c(wait=False)
+        time.sleep(0.5)
         self.gdb.interrupt()
         output = self.gdb.command("p/x *(int*)(((char*)&data)-0x80000000)")
         self.assertIn("0xbead", output)

diff --git a/debug/targets/m2gl_m2s/openocd.cfg b/debug/targets/m2gl_m2s/openocd.cfg
index 2d8bfe8781e735761bc20db93a47200f26571be5..3884a3ee042a34de6f56dbd5f4d87f4bcc25babf 100644 (file)
--- a/debug/targets/m2gl_m2s/openocd.cfg
+++ b/debug/targets/m2gl_m2s/openocd.cfg
@@ -1,4 +1,4 @@
-adapter_khz     1000
+adapter_khz     10000
 
 source [find interface/ftdi/olimex-arm-usb-tiny-h.cfg]