This page presents the CHERI Enabled products up to now.
The CHERI Enabled programme provides a structured way to review and document CHERI implementations. Certified products receive a public record describing their scope, supporting evidence, and certification status.
The CHERI Enabled product directory contains products certified under the programme. Each entry identifies a specific product and version and publishes the associated certification record.
Certified products
2 results
No entries match. Try fewer terms or reset the filters.
-
CHERIoT Ibex Certification Record
An open-source 32-bit RISC-V microcontroller processor IP implementing the CHERIoT 1.0 instruction-set architecture. It is designed for constrained embedded systems that require compartmentalisation and memory protection.
View hardware
-
X730 Certification Record
A commercially licensable 64-bit CHERI-RISC-V application processor IP designed for larger systems that require operating-system support and protection of substantial software stacks.
View hardware