...
- Experimental / development toolchain available in the riscv-crypto repository.
- This cannot be up-streamed, but can be used for development work for now.
- Up-streamable support is WiP with PQShield.
- Progress so far:
- Intrinsics proposal from Markku
LLVM
- No work started yet.
- Work will be done by PLTC lab under the group contributor model.
- Looks like the work is just getting started.
- Need to set up a meeting.
Simulators
Though all listed under "simulators", these are actually a collection of formal model / virtual machine / architectural simulators / DV simulators etc.
...