Merge pull request #1436 from jordancarlin/fix_riscof

Update Sail config files
This commit is contained in:
David Harris 2025-05-28 05:46:19 -07:00 committed by GitHub
commit 19a26cfbd0
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 34 additions and 2 deletions

View file

@ -82,6 +82,9 @@
"Zicntr": { "Zicntr": {
"supported": true "supported": true
}, },
"Zicsr": {
"supported": true
},
"Zifencei": { "Zifencei": {
"supported": true "supported": true
}, },
@ -103,6 +106,15 @@
"Zalrsc": { "Zalrsc": {
"supported": false "supported": false
}, },
"Zawrs": {
"supported": false,
"nto": {
"is_nop": false
},
"sto": {
"is_nop": false
}
},
"Zfa": { "Zfa": {
"supported": true "supported": true
}, },
@ -181,6 +193,9 @@
"Zvbc": { "Zvbc": {
"supported": false "supported": false
}, },
"Zvkned": {
"supported": false
},
"Zvknha": { "Zvknha": {
"supported": false "supported": false
}, },
@ -203,7 +218,8 @@
"supported": true "supported": true
}, },
"Svbare": { "Svbare": {
"supported": true "supported": true,
"sfence_vma_illegal_if_svbare_only": true
}, },
"Sv32": { "Sv32": {
"supported": true "supported": true

View file

@ -82,6 +82,9 @@
"Zicntr": { "Zicntr": {
"supported": true "supported": true
}, },
"Zicsr": {
"supported": true
},
"Zifencei": { "Zifencei": {
"supported": true "supported": true
}, },
@ -103,6 +106,15 @@
"Zalrsc": { "Zalrsc": {
"supported": false "supported": false
}, },
"Zawrs": {
"supported": false,
"nto": {
"is_nop": false
},
"sto": {
"is_nop": false
}
},
"Zfa": { "Zfa": {
"supported": true "supported": true
}, },
@ -181,6 +193,9 @@
"Zvbc": { "Zvbc": {
"supported": false "supported": false
}, },
"Zvkned": {
"supported": false
},
"Zvknha": { "Zvknha": {
"supported": false "supported": false
}, },
@ -203,7 +218,8 @@
"supported": true "supported": true
}, },
"Svbare": { "Svbare": {
"supported": true "supported": true,
"sfence_vma_illegal_if_svbare_only": true
}, },
"Sv32": { "Sv32": {
"supported": false "supported": false