From 6a0ffff05d920e54f5736336fe90a07ba5f69717 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Fri, 18 Feb 2022 23:08:40 +0000
Subject: [PATCH 1/2] Removed problematic warning about reaching default state
 in HPTW

---
 pipelined/src/mmu/hptw.sv | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/pipelined/src/mmu/hptw.sv b/pipelined/src/mmu/hptw.sv
index 2700cf4ef..b7f9a16d4 100644
--- a/pipelined/src/mmu/hptw.sv
+++ b/pipelined/src/mmu/hptw.sv
@@ -190,10 +190,6 @@ module hptw
 	//				else 				NextWalkerState = FAULT;
 	LEAF:                       NextWalkerState = IDLE; // updates TLB
 	default: begin
-		// synthesis translate_off
-		if (WalkerState !== 'x) 
-			$error("Default state in HPTW should be unreachable; was %d", WalkerState);
-		// synthesis translate_on
 		NextWalkerState = IDLE; // should never be reached
 	end
 	endcase

From 430f1eca6c157ce02b8c970ce1097cb32cd985c8 Mon Sep 17 00:00:00 2001
From: kaveh Pezeshki <kaveh@pezeshki.org>
Date: Sun, 20 Feb 2022 09:08:38 +0000
Subject: [PATCH 2/2] added Makefile for automated disassembly generation

---
 linux/buildroot-scripts/Makefile | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 linux/buildroot-scripts/Makefile

diff --git a/linux/buildroot-scripts/Makefile b/linux/buildroot-scripts/Makefile
new file mode 100644
index 000000000..b0e3bdf9b
--- /dev/null
+++ b/linux/buildroot-scripts/Makefile
@@ -0,0 +1,21 @@
+all:
+	make disassemble
+	make generate
+
+generate:
+	# generating device tree binary
+	dtc -I dts -O dtb ../devicetree/wally-virt.dts > ${RISCV}/buildroot/output/images/wally-virt.dtb
+
+disassemble:
+	mkdir ${RISCV}/buildroot/output/images/disassembly
+	# fw_jump
+	riscv64-unknown-elf-objdump -D ${RISCV}/buildroot/output/images/fw_jump.elf >> ${RISCV}/buildroot/output/images/disassembly/fw_jump.objdump
+	# vmlinux
+	riscv64-unknown-elf-objdump -D ${RISCV}/buildroot/output/images/vmlinux >> ${RISCV}/buildroot/output/images/disassembly/vmlinux.objdump
+	# filesystem
+	mkdir ${RISCV}/buildroot/output/images/disassembly/rootfs
+	-cd ${RISCV}/buildroot/output/images/disassembly/rootfs; cpio -idv < ../../rootfs.cpio
+
+clean:
+	rm ${RISCV}/buildroot/output/images/wally-virt.dtb
+	rm -rf ${RISCV}/buildroot/output/images/disassembly