From c0db0ff7b40042ee60d6b01ca7c7d1218b243a6f Mon Sep 17 00:00:00 2001
From: Andy Lucas <andy@xmos.com>
Date: Mon, 25 Nov 2013 20:53:38 +0000
Subject: [PATCH] Adding script to enable debugging of overlays via GDB

---
 setoverlay.gdb | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 setoverlay.gdb

diff --git a/setoverlay.gdb b/setoverlay.gdb
new file mode 100644
index 0000000..6ca6714
--- /dev/null
+++ b/setoverlay.gdb
@@ -0,0 +1,7 @@
+connect --reset-to-mode-pins
+p __overlay_address
+disconnect
+connect --xscope
+load
+set variable __overlay_address=$1
+c
\ No newline at end of file