From 5f981f628e059fae3bec9e3385c785327d8a6e0e Mon Sep 17 00:00:00 2001
From: Jordan Carlin <jordanmcarlin@gmail.com>
Date: Fri, 6 Jun 2025 22:07:36 -0700
Subject: [PATCH] Update Sail

---
 bin/installation/sail-install.sh   | 2 +-
 tests/riscof/sail_cSim/rv32gc.json | 9 ++++++++-
 tests/riscof/sail_cSim/rv64gc.json | 9 ++++++++-
 3 files changed, 17 insertions(+), 3 deletions(-)

diff --git a/bin/installation/sail-install.sh b/bin/installation/sail-install.sh
index 8b8a0d79c..a0601c673 100755
--- a/bin/installation/sail-install.sh
+++ b/bin/installation/sail-install.sh
@@ -29,7 +29,7 @@
 
 SAIL_COMPILER_VERSION=0.19 # Last release as of May 30, 2025
 CMAKE_VERSION=3.31.5 # Only used for distros with a system CMake that is too old (< 3.20)
-RISCV_SAIL_MODEL_VERSION=a214c522a2f98dc3b1f381169d0b1a27bbe0acd8 # Last commit as of May 29, 2025
+RISCV_SAIL_MODEL_VERSION=3dc7e1c6dd957ba9a0520331270eb4c52dcd33a8 # Last commit as of June 6, 2025
 
 set -e # break on error
 # If run standalone, check environment. Otherwise, use info from main install script
diff --git a/tests/riscof/sail_cSim/rv32gc.json b/tests/riscof/sail_cSim/rv32gc.json
index 668e4c915..08e3f044e 100644
--- a/tests/riscof/sail_cSim/rv32gc.json
+++ b/tests/riscof/sail_cSim/rv32gc.json
@@ -42,6 +42,7 @@
       "base": 33554432,
       "size": 786432
     },
+    "clock_frequency": 1000000000,
     "instructions_per_tick": 2,
     "wfi_is_nop": true
   },
@@ -184,13 +185,19 @@
     "Zhinx": {
       "supported": false
     },
+    "Zhinxmin": {
+      "supported": false
+    },
     "Zvbb": {
       "supported": false
     },
+    "Zvbc": {
+      "supported": false
+    },
     "Zvkb": {
       "supported": false
     },
-    "Zvbc": {
+    "Zvkg": {
       "supported": false
     },
     "Zvkned": {
diff --git a/tests/riscof/sail_cSim/rv64gc.json b/tests/riscof/sail_cSim/rv64gc.json
index 7e70e1461..d6a6bc699 100644
--- a/tests/riscof/sail_cSim/rv64gc.json
+++ b/tests/riscof/sail_cSim/rv64gc.json
@@ -42,6 +42,7 @@
       "base": 33554432,
       "size": 786432
     },
+    "clock_frequency": 1000000000,
     "instructions_per_tick": 2,
     "wfi_is_nop": true
   },
@@ -184,13 +185,19 @@
     "Zhinx": {
       "supported": false
     },
+    "Zhinxmin": {
+      "supported": false
+    },
     "Zvbb": {
       "supported": false
     },
+    "Zvbc": {
+      "supported": false
+    },
     "Zvkb": {
       "supported": false
     },
-    "Zvbc": {
+    "Zvkg": {
       "supported": false
     },
     "Zvkned": {