From: lkcl <lkcl@web>
Date: Thu, 5 Mar 2020 11:29:18 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~3206
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c9949b6ef9e68c4801e7496bed768144a38ccb1e;p=libreriscv.git

---

diff --git a/nlnet_proposals.mdwn b/nlnet_proposals.mdwn
index f819f3ce5..122b5dafb 100644
--- a/nlnet_proposals.mdwn
+++ b/nlnet_proposals.mdwn
@@ -48,3 +48,7 @@
 # Formal Proofs
 
 Evgeny Ukhanov.
+
+# Coriolis2 links
+
+* <http://lists.phcomp.co.uk/pipermail/arm-netbook/2020-March/016255.html>