> It is not clear to me how this work might begin.
To me that screams for - develop interest in a US public sector (aka government) funding agency and start getting grants to do this type of work.
I assume RISC-V can reasonably be pitched to government tech & policy folks as having many directly applicable benefits to their set of problems in a way they may want to invest in. To procure RISC- systems, they’d probably want a bunch of verification done. If the community isn’t investing, maybe they would.
Caveat I’m not current on the state of RISC-V adoption in public sector systems. But I’ve done funded systems development work at start ups with DARPA/ARPA, InQTel, etc. A motivated party should be able to make this happen.
Anyone closer to RISC-V know what the state of adoption in public sector?