From 241100c6ac74e0015e3e5ef30b1a640d5b6e4872 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Wed, 6 Apr 2022 07:49:04 -0700
Subject: [PATCH] change RAM size in genInitMem.sh

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

diff --git a/linux/testvector-generation/genInitMem.sh b/linux/testvector-generation/genInitMem.sh
index 27a3f004a..8c16ee330 100755
--- a/linux/testvector-generation/genInitMem.sh
+++ b/linux/testvector-generation/genInitMem.sh
@@ -53,7 +53,7 @@ then
     -ex "printf \"Warning - please verify that the second half of $rawUntrimmedBootmemFile is all 0s\n\"" \
     -ex "dump binary memory $rawUntrimmedBootmemFile 0x1000 0x2fff" \
     -ex "printf \"Creating $rawRamFile\n\"" \
-    -ex "dump binary memory $rawRamFile 0x80000000 0xffffffff" \
+    -ex "dump binary memory $rawRamFile 0x80000000 0x87ffffff" \
     -ex "kill" \
     -ex "q"