The cheri spec. now lives at https://github.com/CTSRD-CHERI/sail-cheri-mips .