From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 10 Sep 2020 11:57:56 +0000 (+0100)
Subject: add NLnet PET link
X-Git-Tag: convert-csv-opcode-to-binary~2151
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cb36e252f6ed30126c8551beb3aad6b976448fbd;p=libreriscv.git

add NLnet PET link
---

diff --git a/simple_v_extension/openpower_2020.tex b/simple_v_extension/openpower_2020.tex
index d88915cfa..6ae8b8dd1 100644
--- a/simple_v_extension/openpower_2020.tex
+++ b/simple_v_extension/openpower_2020.tex
@@ -299,6 +299,7 @@ function op\_add(rd, rs1, rs2, predr) # add not VADD!
 	\item Discussion: Libre-SOC-dev mailing list
 	\item Freenode IRC \#libre-soc
 	\item http://libre-soc.org/
+	\item http://nlnet.nl/PET
   \end{itemize}
 }