From 5f5dac2bda2e1aa0b511a76badc3ab1bd53a9819 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Sun, 13 Oct 2024 21:42:16 -0700
Subject: [PATCH] Some Imperas configuration changes to match unimplemented
 Wally registers

---
 config/rv64gc/imperas.ic | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/config/rv64gc/imperas.ic b/config/rv64gc/imperas.ic
index 2ee487094..1b038c920 100644
--- a/config/rv64gc/imperas.ic
+++ b/config/rv64gc/imperas.ic
@@ -57,6 +57,17 @@
 #--override cpu/instret_undefined=T
 #--override cpu/hpmcounter_undefined=T
 
+--override cpu/scontext_undefined=T
+--override cpu/mcontext_undefined=T
+--override cpu/mnoise_undefined=T
+# *** how to override other undefined registers: seed, mphmevent, mseccfg, debugger registers
+#--override cpu/seed_undefined=T
+#--override mhpmevent3_undefined=T
+#--override cpu/mseccfg_undefined=T
+#--override cpu/tselect_undefined=T
+#--override cpu/tdata1_undefined=T
+
+
 --override cpu/reset_address=0x80000000
 
 --override cpu/unaligned=T  # Zicclsm (should be true)