asb opened this issue 7 years ago · 0 comments
It is not currently possible to specify the version number of a targeted extension. See section 22.4 in the RISC-V User-level ISA spec.