From 627e34548862a76d91956b736f9b83488573f61e Mon Sep 17 00:00:00 2001
From: "programmerjake@6415f89267377da4199b62e82acfa94913226af1"
 <programmerjake@web>
Date: Fri, 28 Jun 2019 07:48:59 +0100
Subject: [PATCH] add note of selected encoding

---
 simple_v_extension/specification/sv.setvl.mdwn | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/simple_v_extension/specification/sv.setvl.mdwn b/simple_v_extension/specification/sv.setvl.mdwn
index eced4438f..7ca02ee2f 100644
--- 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       |
-- 
2.30.2