OpenMZ, a security kernel for RISC-V targeting secure coprocessors and secure embedded systems. - View it on GitHub