(no commit message)
[libreriscv.git] / nlnet_proposals.mdwn
1 # NLNet Proposals
2
3 * [[nlnet_2018]] - accepted, underway
4 * [[nlnet_2019_video]] - submitted 2019sep22 - submitter found (lauri)
5 * [[nlnet_2019_coriolis2]] - submitted 2019sep22 - submitter found (lip6.fr)
6 * Additional related proposal from Chips4Makers - submitter found (chips4makers)
7 * [[nlnet_2019_formal]] - submitted 2019sep23 - submitter found (dan)
8 * [[nlnet_2019_amdvlk_port]] - submitted 2019sep23 (withdrawn),
9 added RADV, re-submitted 2019sep26 - submitter found (frieder)
10 * [[nlnet_2019_gcc]] - submitted 2019sep23 - submitter found (wim)
11 * [[nlnet_2019_wishbone_streaming]] - submitted 2019sep26 - submitter found (hank)
12 * [[nlnet_2019_standards]] - submitted 2019sep27 - submitter found (phcomp)
13 * [[nlnet_2019_opencl]] - submitted 2019sep29 - submitter found (michael)
14
15 Standby submitters:
16
17 * Felix (Spain)
18 * Thierry (Belgium)
19 * jacky (germany / taiwan)
20 * chris (via purism)
21 * caliga
22
23 # MESA RADV Discussion links
24
25 * <https://lists.freedesktop.org/archives/mesa-dev/2019-September/223578.html>
26
27 # gcc links
28
29 * <https://groups.google.com/a/groups.riscv.org/d/msg/sw-dev/d0TOflWnsYM/HwDMEpn4BwAJ>
30 * <https://gcc.gnu.org/ml/gcc/2019-09/msg00213.html>
31
32 # Wishbone links
33
34 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002820.html>
35
36 # OpenCL links
37
38 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002857.html>
39
40 # Formal Proofs
41
42 Evgeny Ukhanov.