# NLNet Proposals
-* Additional related proposal from Chips4Makers - submitter found (chips4makers)
* Idea: robotics proposal (TBD, jacky)
## accepted
added RADV, re-submitted 2019sep26 - submitter found (frieder) - questions received 22nov2019 - accepted 20dec2019, MOU TBD
* [[nlnet_2019_wishbone_streaming]] - submitted 2019sep26 - submitter found (hank) - accepted 20dec2019, MOU TBD
* [[nlnet_2019_standards]] - submitted 2019sep27 - submitter found (phcomp) - accepted 20dec2019, MOU TBD
+* Additional related proposal from Chips4Makers - submitter found (chips4makers) - accepted 20dec2019
## not accepted / withdrawn
# 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
# Formal Proofs
Evgeny Ukhanov.
+
+# Coriolis2 links
+
+* <http://lists.phcomp.co.uk/pipermail/arm-netbook/2020-March/016255.html>