my attempt to build a secure coprocessor based on the PicoRV32 - View it on GitHub