add note of selected encoding

diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn
index eced4438ff86f3d962663660c11769bfeb5adbdb..7ca02ee2f00233b247c36ee7fad421fa3dffbd8f 100644 (file)
--- a/simple_v_extension/specification/sv.setvl.mdwn
+++ b/simple_v_extension/specification/sv.setvl.mdwn
@@ -60,6 +60,8 @@ notes:
 
 # original encoding
 
+Selected encoding for sv.setvl, see http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-June/001898.html
+
 The encoding I (programmerjake) was planning on using is:
 
 | 31|30   20|19    15|14   12|11 7|6     0| name       |