diff --git a/linux/devicetree/debug/dumpdts.sh b/linux/devicetree/debug/dumpdts.sh
deleted file mode 100755
index 70057a78f..000000000
--- a/linux/devicetree/debug/dumpdts.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/bash
-machine=virt
-
-qemu-system-riscv64 -M $machine,dumpdtb=$machine.dtb -bios $RISCV/buildroot/output/images/fw_jump.elf
-
-dtc -I dtb -O dts $machine.dtb > $machine.dts
diff --git a/linux/devicetree/virt-trimmed.dts b/linux/devicetree/wally-virt.dts
similarity index 100%
rename from linux/devicetree/virt-trimmed.dts
rename to linux/devicetree/wally-virt.dts
diff --git a/linux/testvector-generation/genTrace.sh b/linux/testvector-generation/genTrace.sh
index e085251ba..44ce1b822 100755
--- a/linux/testvector-generation/genTrace.sh
+++ b/linux/testvector-generation/genTrace.sh
@@ -25,11 +25,11 @@ then
     sudo chmod a+rw $interruptsFile
 
     # Compile Devicetree from Source
-    dtc -I dts -O dtb ../devicetree/virt-trimmed.dts > ../devicetree/virt-trimmed.dtb
+    dtc -I dts -O dtb ../devicetree/wally-virt.dts > ../devicetree/wally-virt.dtb
 
     # QEMU Simulation
     (qemu-system-riscv64 \
-    -M virt -dtb ../devicetree/virt-trimmed.dtb \
+    -M virt -dtb ../devicetree/wally-virt.dtb \
     -nographic -serial /dev/null \
     -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,rr=record,rrfile=$recordFile \