cheriot-kudu is a 32-bit dual-issue RISC-V MCU core with CHERIoT support - View it on GitHub