Cheri Instruction-Set Architecture (Version 7) [pdf]
cl.cam.ac.uk