- <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=407> XICS
- - <https://bugs.libre-soc.org/show_bug.cgi?id=409> illegal instructions
- <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:
- <https://bugs.libre-soc.org/show_bug.cgi?id=330> Logic pipe
- <https://bugs.libre-soc.org/show_bug.cgi?id=331> Logic proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=312> countzero proof
-
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=346> regfile-core
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=344> add mtmsrd
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=409> illegal instructions
## Submitted for NLNet RFP