remove aux/toc/out
[libreriscv.git] / nlnet_proposals.mdwn
1 # NLNet Proposals
2
3 * Idea: robotics proposal (TBD, jacky)
4 * [[nlnet_2022_librebmc]]
5 * [[nlnet_2022_opf_isa_wg]]
6 * [[nlnet_2022_ongoing]]
7
8 ## accepted
9
10 * [[nlnet_2018]] - accepted, underway
11 * [[nlnet_2019_coriolis2]] - submitted 2019sep22 - submitter found (lip6.fr) - questions received 22nov2019 - accepted 20dec2019, MOU done
12 * [[nlnet_2019_video]] - submitted 2019sep22 - submitter found (lauri) - questions received 22nov2019 - accepted 20dec2019, MOU done
13 * [[nlnet_2019_formal]] - submitted 2019sep23 - submitter found (dan) - questions received 22nov2019 - accepted 20dec2019, MOU done
14 * [[nlnet_2019_amdvlk_port]] - submitted 2019sep23 (withdrawn),
15 added RADV, re-submitted 2019sep26 - submitter found (frieder) - questions received 22nov2019 - accepted 20dec2019, MOU done
16 * [[nlnet_2019_wishbone_streaming]] - submitted 2019sep26 - submitter found (hank) - accepted 20dec2019, MOU done
17 * [[nlnet_2019_standards]] - submitted 2019sep27 - submitter found (phcomp) - accepted 20dec2019, MOU done
18 * Additional related proposal from Chips4Makers - submitter found (chips4makers) - accepted 20dec2019
19 * [[nlnet_2021_crypto_router]] - 12jan2021 draft - submitter found (jan) submitted 24jan2021
20 * [[nlnet_2021_lip6_vlsi]] LIP6 VLSI tools - submitted 29jul2021 - Ref 2021-08-049 - accepted 09nov2021
21 * [[nlnet_2021_3mdeb_cavatools]] 3mdeb Power ISA Simulator - submitted 31jul2021 - Ref 2021-08-071 - accepted 09nov2021
22
23 ## not accepted / withdrawn
24
25 * [[nlnet_2019_gcc]] - submitted 2019sep23 - submitter found (wim) - WITHDRAWN
26 * [[nlnet_2019_opencl]] - submitted 2019sep29 - submitter found (michael) - WITHDRAWN
27
28 ## Standby submitters
29
30 * Felix (Spain)
31 * Thierry (Belgium)
32 * jacky (germany / taiwan)
33 * chris (via purism)
34 * caliga
35
36 # MESA RADV Discussion links
37
38 * <https://lists.freedesktop.org/archives/mesa-dev/2019-September/223578.html>
39 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-January/003302.html>
40
41 # gcc links
42
43 * <https://groups.google.com/a/groups.riscv.org/d/msg/sw-dev/d0TOflWnsYM/HwDMEpn4BwAJ>
44 * <https://gcc.gnu.org/ml/gcc/2019-09/msg00213.html>
45
46 # Wishbone links
47
48 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002820.html>
49
50 # OpenCL links
51
52 * <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2019-September/002857.html>
53
54 # Formal Proofs
55
56 Evgeny Ukhanov.
57
58 # Coriolis2 links
59
60 * <http://lists.phcomp.co.uk/pipermail/arm-netbook/2020-March/016255.html>