There are 3 irqs though, how are they handled/enabled?

The IRQ mask can be queried---I forget if this is a special picorv32 instruction or if it is dropped into a specific register before jumping to address zero---I have not tried coding anything around this. What I have done instead is to use the IRQ mask command for picorv32 to isolate the one IRQ I want to respond to.

Then yes pls send me the code and I'll see if I can work it out. Worth adding this to the docs too as it's missing atm.