[Libre-soc-dev] NLnet grant for OPF ISA WG submitted

[Luke Kenneth Casson Leighton]

https://libre-soc.org/nlnet_2022_opf_isa_wg/
that's now in, the next one is an "ongoing maintenance"
one for us, such as continuing IEEE754 FP Proofs,
nmigen maintenance, Libre-SOC HDL, documentation budget,
Dynamic Partitioned SIMD and so on.

l.

---
crowd-funded eco-conscious hardware: https://www.crowdsupply.com/eoma68