From 97e183c58f84182a894ff5f6b7b1f65213e2af3f Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Fri, 27 Jun 2025 00:08:47 -0700 Subject: [PATCH] Update Sail config files --- tests/riscof/sail_cSim/rv32gc.json | 15 ++++++++++++++- tests/riscof/sail_cSim/rv64gc.json | 15 ++++++++++++++- 2 files changed, 28 insertions(+), 2 deletions(-) diff --git a/tests/riscof/sail_cSim/rv32gc.json b/tests/riscof/sail_cSim/rv32gc.json index 3ceb1e0a1..fbb0db3aa 100644 --- a/tests/riscof/sail_cSim/rv32gc.json +++ b/tests/riscof/sail_cSim/rv32gc.json @@ -174,7 +174,11 @@ "supported": true }, "Zkr": { - "supported": false + "supported": false, + "sseed_reset_value": false, + "useed_reset_value": false, + "sseed_read_only_zero": false, + "useed_read_only_zero": false }, "Zksed": { "supported": false @@ -182,6 +186,9 @@ "Zksh": { "supported": false }, + "Zkt": { + "supported": true + }, "Zhinx": { "supported": false }, @@ -209,7 +216,13 @@ "Zvknhb": { "supported": false }, + "Zvksed": { + "supported": false + }, "Zvksh": { + "supported": true + }, + "Zvkt": { "supported": false }, "Sscofpmf": { diff --git a/tests/riscof/sail_cSim/rv64gc.json b/tests/riscof/sail_cSim/rv64gc.json index c599c1fa8..bcf86c723 100644 --- a/tests/riscof/sail_cSim/rv64gc.json +++ b/tests/riscof/sail_cSim/rv64gc.json @@ -174,7 +174,11 @@ "supported": true }, "Zkr": { - "supported": false + "supported": false, + "sseed_reset_value": false, + "useed_reset_value": false, + "sseed_read_only_zero": false, + "useed_read_only_zero": false }, "Zksed": { "supported": false @@ -182,6 +186,9 @@ "Zksh": { "supported": false }, + "Zkt": { + "supported": true + }, "Zhinx": { "supported": false }, @@ -209,7 +216,13 @@ "Zvknhb": { "supported": false }, + "Zvksed": { + "supported": false + }, "Zvksh": { + "supported": true + }, + "Zvkt": { "supported": false }, "Sscofpmf": {