Is the the implementation of the interrupt in the plasma "precise" or "imprecise"?
The Plasma interrupts are "precise". The exception program counter (EPC) will always be 4 bytes past the instruction that was interrupted. Setting the program counter to EPC-4 will properly resume the program execution.