From 4bf95714eb0b0b2694035f7e0a69a2bbbd798d63 Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Mon, 7 Mar 2022 19:52:19 +0000
Subject: [PATCH] add debug.sh

---
 linux/testvector-generation/debug.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 linux/testvector-generation/debug.sh

diff --git a/linux/testvector-generation/debug.sh b/linux/testvector-generation/debug.sh
new file mode 100755
index 00000000..c667429c
--- /dev/null
+++ b/linux/testvector-generation/debug.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+imageDir=$RISCV/buildroot/output/images
+tvDir=$RISCV/linux-testvectors
+tcpPort=1239
+
+# QEMU Simulation
+(qemu-system-riscv64 \
+-M virt -dtb $imageDir/wally-virt.dtb \
+-nographic \
+-bios $imageDir/fw_jump.elf -kernel $imageDir/Image -append "root=/dev/vda ro" -initrd $imageDir/rootfs.cpio \
+-singlestep -rtc clock=vm -icount shift=0,align=off,sleep=on \
+> ./qemu-serial) # \
+#-gdb tcp::$tcpPort -S \
+#& riscv64-unknown-elf-gdb -quiet -x debug.gdb -ex "debug $tcpPort \"$imageDir/vmlinux\""