Rebase on caravel
diff --git a/Makefile b/Makefile
index 89a50bb..e097b0f 100644
--- a/Makefile
+++ b/Makefile
@@ -17,6 +17,7 @@
 CARAVEL_ROOT?=$(PWD)/caravel
 PRECHECK_ROOT?=${HOME}/mpw_precheck
 SIM ?= RTL
+DUMP ?= OFF
 
 # Install lite version of caravel, (1): caravel-lite, (0): caravel
 CARAVEL_LITE?=1
diff --git a/caravel b/caravel
index cda6c3c..0f16ba8 160000
--- a/caravel
+++ b/caravel
@@ -1 +1 @@
-Subproject commit cda6c3ca1158b495f002bf90860941c3a9af1784
+Subproject commit 0f16ba8eaae841a6f122fc0d5837005d3312fd2b