From dff3970d1cf0bbc81479903ddac5869b1226c250 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Tue, 13 Jul 2021 16:15:51 -0400
Subject: [PATCH] changed QEMU to use different ports

---
 wally-pipelined/linux-testgen/testvector-generation/gdbinit_mem | 2 +-
 .../linux-testgen/testvector-generation/logBuildrootMem.sh      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/wally-pipelined/linux-testgen/testvector-generation/gdbinit_mem b/wally-pipelined/linux-testgen/testvector-generation/gdbinit_mem
index 5193a7325..f8c20fa11 100755
--- a/wally-pipelined/linux-testgen/testvector-generation/gdbinit_mem
+++ b/wally-pipelined/linux-testgen/testvector-generation/gdbinit_mem
@@ -1,5 +1,5 @@
 set pagination off
-target extended-remote :1234
+target extended-remote :1235
 set logging overwrite on
 set logging redirect on
 printf "Creating bootmemGDB.txt\n"
diff --git a/wally-pipelined/linux-testgen/testvector-generation/logBuildrootMem.sh b/wally-pipelined/linux-testgen/testvector-generation/logBuildrootMem.sh
index 400dd8859..666c8709c 100755
--- a/wally-pipelined/linux-testgen/testvector-generation/logBuildrootMem.sh
+++ b/wally-pipelined/linux-testgen/testvector-generation/logBuildrootMem.sh
@@ -1,6 +1,6 @@
 customQemu="/courses/e190ax/qemu_sim/rv64_initrd/qemu_experimental/qemu/build/qemu-system-riscv64"
 imageDir="../buildroot-image-output"
-($customQemu -M virt -nographic -bios $imageDir/fw_jump.elf -kernel $imageDir/Image -append "root=/dev/vda ro" -initrd $imageDir/rootfs.cpio -d nochain,cpu,in_asm -serial /dev/null -singlestep -s -S 2>/dev/null >/dev/null) &
+($customQemu -M virt -nographic -bios $imageDir/fw_jump.elf -kernel $imageDir/Image -append "root=/dev/vda ro" -initrd $imageDir/rootfs.cpio -d nochain,cpu,in_asm -serial /dev/null -singlestep -gdb tcp::1235 -S 2>/dev/null >/dev/null) &
 riscv64-unknown-elf-gdb -x gdbinit_mem
 echo "Translating Mem from GDB to Questa format"
 ./fix_mem.py