- <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=350> LDST RA=0 test
- <https://bugs.libre-soc.org/show_bug.cgi?id=361> RA=0 tests
- - <https://bugs.libre-soc.org/show_bug.cgi?id=393> WB to LDST
- <https://bugs.libre-soc.org/show_bug.cgi?id=407> XICS
- <https://bugs.libre-soc.org/show_bug.cgi?id=412> litex
- <https://bugs.libre-soc.org/show_bug.cgi?id=415> misc opcodes
## Completed but not yet submitted:
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=393> WB to LDST
+ - EUR 300
- <https://bugs.libre-soc.org/show_bug.cgi?id=414> DMI interface
- EUR 250
- <https://bugs.libre-soc.org/show_bug.cgi?id=463>