From cb36e252f6ed30126c8551beb3aad6b976448fbd Mon Sep 17 00:00:00 2001
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Thu, 10 Sep 2020 12:57:56 +0100
Subject: [PATCH] add NLnet PET link

---
 simple_v_extension/openpower_2020.tex | 1 +
 1 file changed, 1 insertion(+)

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}
 }
 
-- 
2.30.2