# NLNet Proposals

* full list <https://bugs.libre-soc.org/show_bug.cgi?id=938>
* Idea: robotics proposal (TBD, jacky)
* [[nlnet_2022_librebmc]]
* [[reports]]
* project list on EU site <https://www.ngi.eu/discover-ngi-solutions/?&search=Libre-SOC>

# being written

* [[nlnet_2024_ppc_svp64_autogen]]

# submitted

* [[nlnet_2023_simplev_riscv_binutils]] - submitted 2023nov30 2023-12-121
* [[nlnet_2023_simplev_riscv]] - submitted 2023nov24 2023-12-059 - submitter RED Semiconductor Ltd

# completed

* [[nlnet_2018]] - accepted, underway. completed 2022jul20, with thanks and gratitude to NLnet and EU Horizon 2020
* [[nlnet_2019_coriolis2]] - submitted 2019sep22 - submitter found (lip6.fr) - questions received 22nov2019 - accepted 20dec2019, MOU done
* [[nlnet_2019_video]] - submitted 2019sep22 - submitter found (lauri) - questions received 22nov2019 - accepted 20dec2019, MOU done
* [[nlnet_2019_formal]] - submitted 2019sep23 - submitter found (dan) - questions received 22nov2019 - accepted 20dec2019, MOU done
* [[nlnet_2019_amdvlk_port]] - submitted 2019sep23 (withdrawn),
  added RADV, re-submitted 2019sep26 - submitter found (frieder) - questions received 22nov2019 - accepted 20dec2019, MOU done
* [[nlnet_2019_wishbone_streaming]] - submitted 2019sep26 - submitter found (hank)  - accepted 20dec2019, MOU done
* [[nlnet_2019_standards]] - submitted 2019sep27 - submitter found (phcomp)  - accepted 20dec2019, MOU done
* [[nlnet_2021_lip6_vlsi]] LIP6 VLSI tools - submitted 29jul2021 - Ref 2021-08-049 - accepted 09nov2021 - MOU TODO - transferred to LIP6
* [[nlnet_2021_crypto_router]] - 12jan2021 draft - submitter found (jan) submitted 24jan2021 - MOU done

# accepted

* [[nlnet_2021_3mdeb_cavatools]] 3mdeb Power ISA Simulator - submitted 31jul2021 - Ref 2021-08-071 - accepted 09nov2021 - MOU signed 2023mar06
* [[nlnet_2022_opf_isa_wg]] - 2022-08-051 - submitted 2022jul27 - approved 24oct2022 - MOU signed 2023jun22
* [[nlnet_2022_ongoing]] - 2022-08-107 - submitted 2022jul31 - approved 24oct2022

# not accepted / withdrawn

* [[nlnet_2019_gcc]] - submitted 2019sep23 - submitter found (wim) - WITHDRAWN
* [[nlnet_2019_opencl]] - submitted 2019sep29 - submitter found (michael) - WITHDRAWN

# Standby submitters

* Felix (Spain)
* Thierry (Belgium)
* jacky (germany / taiwan)
* chris (via purism)
* caliga

# 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

* <https://groups.google.com/a/groups.riscv.org/d/msg/sw-dev/d0TOflWnsYM/HwDMEpn4BwAJ>
* <https://gcc.gnu.org/ml/gcc/2019-09/msg00213.html>

# Wishbone links

* <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002820.html>

# OpenCL links

* <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002857.html>

# Formal Proofs

Evgeny Ukhanov.

# Coriolis2 links

* <http://lists.phcomp.co.uk/pipermail/arm-netbook/2020-March/016255.html>