- <https://bugs.libre-soc.org/show_bug.cgi?id=345> POWER9 regfiles
- <https://bugs.libre-soc.org/show_bug.cgi?id=348> SPR pipe
- <https://bugs.libre-soc.org/show_bug.cgi?id=418> SPR proof
- - <https://bugs.libre-soc.org/show_bug.cgi?id=349> privileged detection
- <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=412> litex
- <https://bugs.libre-soc.org/show_bug.cgi?id=415> misc opcodes
- <https://bugs.libre-soc.org/show_bug.cgi?id=416> DEC/TB
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=349> privileged detection
## Completed but not yet submitted: