Relax the naming rule of extension name

riscv / riscv-isa-manual

RISC-V Instruction Set Manual

https://riscv.org/

Creative Commons Attribution 4.0 International

3.7k stars 645 forks source link

Relax the naming rule of extension name #1662

Closed kersten1 closed 1 month ago

kersten1 commented 1 month ago

Update from this PR - https://github.com/riscv/riscv-isa-manual/pull/718

Not convinced that I did the supervisor section correctly. But I'm also not convinced that it is explained in Volume II. However, volume II has grown significantly and I just do not know it all.

kersten1 commented 1 month ago

@topperc Thanks! Waiting for the checks to complete and I'll merge.