(no commit message)

[libreriscv.git] / nlnet_proposals.mdwn

diff --git a/nlnet_proposals.mdwn b/nlnet_proposals.mdwn
index 88a3905ce2f83637e91dbbacecd2436182bfc57e..122b5dafb7b379c3177167681083770436de5cce 100644 (file)
--- a/nlnet_proposals.mdwn
+++ b/nlnet_proposals.mdwn
@@ -30,6 +30,7 @@
 # MESA RADV Discussion links
 
 * <https://lists.freedesktop.org/archives/mesa-dev/2019-September/223578.html>
+* <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-January/003302.html>
 
 # gcc links
 
@@ -47,3 +48,7 @@
 # Formal Proofs
 
 Evgeny Ukhanov.
+
+# Coriolis2 links
+
+* <http://lists.phcomp.co.uk/pipermail/arm-netbook/2020-March/016255.html>