CheriZephyr

CHERI Zephyr is a fork of Zephyr: a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Project Home: https://github.com/CHERI-Alliance/CHERI-zephyr

Downloads & Documentation

Fork VersionBased on Upstream VersionTargetDownloadDocumentation
v0.2.0 (latest)
2025-08-22		4.1.0
2025-05-20		riscv64cSourceRelease Notes

Fork VersionBased on Upstream VersionTargetDownloadDocumentation
v0.1.0
2024-08-22		3.5.0
2023-11-07		riscv64cSourceRelease Notes
Please note that there are no release images to download.

Project Status

The current cheri-alliance release has very limited support. It is tested only with a handful of samples as listed in the release notes. We are currently working to increase more CHERI support including for 32 bit as well as 64 bit CHERI-RISC-V.

Building from Source

Please see our blog post for instructions for building from source.

Get Involved

Development for this project happens in the following places:

Development occurs in the CHERI Alliance Zephyr GitHub repository which represents the latest software which releases are formed from. Contributions are accepted via GitHub Pull Requests or via their mailing list. Bugs can be reported via GitHub Issues.

The following lists should be used:

There are no public meetings for this project

Vulnerability Disclosure

Please report security vulnerabilities relating to CheriZephyr to support@thecapablehub.org.

Something missing, incorrect?

This page was last updated on 22nd December 2025. Please let us know of any corrections via support@thecapablehub.org, alternatively raise a GitHub pull request in our repo.