CHERI Enabled Products
The CHERI Enabled directory links each certified product to a public record of its scope, version, evidence, and limitations.
The products below are listed by the CHERI Alliance under version 1.0 of the CHERI Enabled certification programme. Follow each product record to confirm the exact version and configuration.
Certified products
cheriot-ibex 1.0
Microsoft’s cheriot-ibex is listed as a processor intellectual-property product, certified on 26 March 2026. Read the CHERIoT certification record for its scope, evidence, and limitations.
X730-MP4-Lux 1.0
Codasip’s X730-MP4-Lux is listed as a processor intellectual-property product, certified on 26 March 2026. Read the X730 certification record for its scope, evidence, and limitations.
How to use the directory
The public records contain more than a badge. Read the submitted answers and look for:
- the implemented architecture and extensions;
- supported execution modes and excluded configurations;
- verification methods and test evidence;
- debug, direct-memory-access, and other privileged paths;
- temporal-safety mechanisms;
- toolchain support and integration conditions.
A certified processor core does not automatically certify the system-on-chip, board, operating system, application, or deployed product that uses it. Integrators must verify that their configuration preserves the assumptions recorded in the certification.
The programme and product list can change. The canonical CHERI Enabled directory is the authoritative source for current status.