From 2900117341560949b99abfbc07a5720f93cfc8cb Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sun, 27 Mar 2022 20:54:59 -0700
Subject: [PATCH] fix genCheckpoint.sh binary memory dump

---
 linux/testvector-generation/genCheckpoint.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/linux/testvector-generation/genCheckpoint.sh b/linux/testvector-generation/genCheckpoint.sh
index 4ac478825..447377b33 100755
--- a/linux/testvector-generation/genCheckpoint.sh
+++ b/linux/testvector-generation/genCheckpoint.sh
@@ -109,7 +109,7 @@ then
     x/1xw 0x0C201000
     set logging off
     shell echo \"GDB storing RAM to $rawRamFile\"
-    dump binary memory $rawRamFile 0x80000000 0x07ffffff
+    dump binary memory $rawRamFile 0x80000000 0x87ffffff
     kill
     q
 end_of_script