re-reserve bit in setvl -- needed for extending registers:
[libreriscv.git] / simple_v_extension / sv_prefix_proposal /
drwxr-xr-x   ..
-rw-r--r-- 17575 discussion.rst