diff options
| author | Palmer Dabbelt <palmer@rivosinc.com> | 2022-04-01 22:00:38 -0700 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2022-06-05 22:07:23 +0200 |
| commit | dcb3887d85c10c96cc56d2715bf21566e3c31d9b (patch) | |
| tree | 25f2f88be5f8a2bc0a92f9c2c41c92644f7f5ee1 /FAQ | |
| parent | 90feaaa967227961fc9972a0a46bb4fa51eec7b2 (diff) | |
| download | sparse-dev-dcb3887d85c10c96cc56d2715bf21566e3c31d9b.tar.gz | |
RISC-V: Remove the unimplemented ISA extensions
This made sense when we die()d on unknown ISA extensions, but now that
we're just warning it's actually a bit detrimental: users won't see that
their unimplemented ISA extensions are silently having the wrong
definitions set, which may cause hard to debug failures.
Signed-off-by: Palmer Dabbelt <palmer@rivosinc.com>
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions
