From 5473aad5f46d1a189b5f4c075e559ee928a45632 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Tue, 12 Dec 2023 10:10:15 -0800
Subject: [PATCH] Fixed Linux makefile and removed outdated comment about
 interrupt priorities

---
 linux/Makefile         | 5 +++--
 src/privileged/trap.sv | 1 -
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/linux/Makefile b/linux/Makefile
index 9ef677d55..6a6bfc3f4 100644
--- a/linux/Makefile
+++ b/linux/Makefile
@@ -30,7 +30,7 @@ OBJDUMPS := $(foreach name, $(OBJDUMPS), $(DIS)/$(name).objdump)
 
 .PHONY: all generate disassemble install clean cleanDTB cleanDriver test
 
-all: download Image disassemble install
+all: clean download Image disassemble install
 
 Image:
 	bash -c "unset LD_LIBRARY_PATH; make -C $(BUILDROOT) --jobs;"
@@ -120,4 +120,5 @@ cleanDTB:
 	rm -f $(IMAGES)/*.dtb
 
 clean:
-	rm -rf $(DIS)
+	rm -rf $(BUILDROOT)
+	
\ No newline at end of file
diff --git a/src/privileged/trap.sv b/src/privileged/trap.sv
index bfbbeb65f..32608f6d4 100644
--- a/src/privileged/trap.sv
+++ b/src/privileged/trap.sv
@@ -93,7 +93,6 @@ module trap import cvw::*;  #(parameter cvw_t P) (
 
   ///////////////////////////////////////////
   // Cause priority defined in table 3.7 of 20190608 privileged spec
-  // Exceptions are of lower priority than all interrupts (3.1.9)
   ///////////////////////////////////////////
 
   always_comb