feat: support rsc with more config

iscas-tis · Aug 17, 2024 · 41dbf92 · 41dbf92
1 parent f5d4ca9
commit 41dbf92
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/main/scala/nutcore/NutCore.scala b/src/main/scala/nutcore/NutCore.scala
@@ -71,7 +71,12 @@ case class NutCoreConfig (
   EnableILA: Boolean = Settings.get("EnableILA"),
   EnableDebug: Boolean = Settings.get("EnableDebug"),
   EnhancedLog: Boolean = true ,
-  FormalConfig: RVConfig = RVConfig(64, "MCS", "A")
+  FormalConfig: RVConfig = RVConfig(
+    "XLEN" -> 64,
+    "extensions" -> "MCZicsrZifenceiSU",
+    "fakeExtensions" -> "A",
+    "functions" -> Seq("Privileged")
+  )
 )
 // Enable EnhancedLog will slow down simulation, 
 // but make it possible to control debug log using emu parameter