Princeton Piton Processor
parallel.princeton.edu
parallel.princeton.edu
Next step for any academics reading is modifying these suckers to have extensions like Watchdog[Lite] or CHERI CPU's. Dover is already doing SAFE with RISC-V. FreeBSD already runs on CHERI, though, so hardest work is done. Modify OpenSPARC & compiler backend for it as they did their BERI MIPS. Add I/O MMU & trusted bootloader. Boom! The beginning of a secure, open SOC. :)