From 9b5bbd29b4f3f0a25c76fd64050493bee9dc5308 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Sun, 27 Mar 2022 19:16:39 -0700
Subject: [PATCH] change genCheckpoint.sh to only log 128MB of RAM

---
 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 dea4d5551..4ac478825 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 0xffffffff
+    dump binary memory $rawRamFile 0x80000000 0x07ffffff
     kill
     q
 end_of_script