Commit eb89624
[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 fd15b52 commit eb89624
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