From 7b58683d2d0ed73bfa2e40f5b6270f91382740f9 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Wed, 15 Feb 2023 06:39:10 -0800
Subject: [PATCH] Commented config mode of synthesis makefile

---
 synthDC/Makefile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/synthDC/Makefile b/synthDC/Makefile
index 76531d950..118536bf6 100755
--- a/synthDC/Makefile
+++ b/synthDC/Makefile
@@ -84,6 +84,14 @@ endif
 endif
 	
 # adjust config if synthesizing with any modifications
+# This code is subtle with ifneq.  It successively turns off a larger
+# set of features in order of cycle time limiting.
+# When mod = orig, all features are ON
+# When mod = PMP0, the number of PMP entries is set to 0
+# when mod = noPriv, the privileged unit and PMP are disabled
+# when mod = noFPU, the FPU, privileged unit, and PMP are disabled
+# when mod = noMulDiv, the MDU, FPU, privileged unit, and PMP are disabled.
+
 ifneq ($(MOD), orig)
 	# PMP 0
 	sed -i 's/PMP_ENTRIES \(64\|16\|0\)/PMP_ENTRIES 0/' $(CONFIGDIR)/wally-config.vh