Commit 3677d45
[CHERI-RISC-V] Stop manually handling xcheri feature
This may have been needed before ISAInfo handled custom extensions, but
now we can just defer to ISAInfo. No functional change intended1 parent 5e7d714 commit 3677d45
1 file changed
+0
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
437 | 437 | | |
438 | 438 | | |
439 | 439 | | |
440 | | - | |
441 | 440 | | |
442 | 441 | | |
443 | 442 | | |
| |||
0 commit comments