Notes as I view this. This is a very good talk where they describe their modifications to the open MIPS architecture. They cite this as a definition of the modified architecture.

What is “Intel MPX”?? Tags are on physical memory. When you swap out a page it is at least easy to find the caps. The instruction “csetlen” produces a cap for a subrange of a memory cap. CCured?? central entry.

I can imagine how to implement malloc in CHERI, but not free. I see no efficient revocation mechanism.

Keykos memory capabilities can be sent to other domains. CHERI cannot, at least as described in the talk.