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
diff --git a/pipelined/src/mmu/hptw.sv b/pipelined/src/mmu/hptw.sv
index 226509c45..117f2a577 100644
--- a/pipelined/src/mmu/hptw.sv
+++ b/pipelined/src/mmu/hptw.sv
@@ -262,10 +262,6 @@ module hptw
     UPDATE_PTE: if(`HPTW_WRITES_SUPPORTED & DCacheStallM) NextWalkerState = UPDATE_PTE;
                 else NextWalkerState = LEAF;
 	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