What is a CHERI capability?ΒΆ

A capability is an unforgeable token of authority that grants particular rights to perform an action in an execution context.

In the CHERI context, a capability is a fat pointer that includes not only a raw memory address, but also associated metadata for access permissions, bounds and pointer validity.

CHERI stands for Capability Hardware Enhanced RISC Instructions: this is a bolt-on to a standard RISC instruction set architecture to provide support for capabilities in the processor architecture. The prototype Arm Morello processor supports capabilities natively in hardware.