From 607a09ca621997d5e20db78bb02d0c5e38ec69ae Mon Sep 17 00:00:00 2001 From: Jordan Carlin Date: Wed, 26 Jun 2024 21:32:15 -0700 Subject: [PATCH] Add derived configs without privilege modes --- config/derivlist.txt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/config/derivlist.txt b/config/derivlist.txt index bcf83dc82..48f69e7cf 100644 --- a/config/derivlist.txt +++ b/config/derivlist.txt @@ -786,6 +786,28 @@ ZKND_SUPPORTED 0 ZKNE_SUPPORTED 0 ZKNH_SUPPORTED 1 +deriv noS_rv32gc rv32gc +S_SUPPORTED 0 +SSTC_SUPPORTED 0 +VIRTMEM_SUPPORTED 0 +SVINVAL_SUPPORTED 0 +SVADU_SUPPORTED 0 + +deriv noS_rv64gc rv64gc +S_SUPPORTED 0 +SSTC_SUPPORTED 0 +VIRTMEM_SUPPORTED 0 +SVPBMT_SUPPORTED 0 +SVNAPOT_SUPPORTED 0 +SVINVAL_SUPPORTED 0 +SVADU_SUPPORTED 0 + +deriv noU_rv32gc noS_rv32gc +U_SUPPORTED 0 + +deriv noU_rv64gc noS_rv64gc +U_SUPPORTED 0 + # Floating-point modes supported deriv f_rv32gc rv32gc