@User: I believe that it is still just a stock picoRV32 except for expanding the code for the wishbone bus. But that's really a question for @User as he is designing the core while I'm working on more of the "glue logic", padframe, and other details.