From: programmerjake@6415f89267377da4199b62e82acfa94913226af1 <programmerjake@web>
Date: Fri, 28 Jun 2019 06:48:59 +0000 (+0100)
Subject: add note of selected encoding
X-Git-Tag: convert-csv-opcode-to-binary~4366
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=627e34548862a76d91956b736f9b83488573f61e;p=libreriscv.git

add note of selected encoding
---

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       |