CHERIoT 1.0 Specification Released
Adam Finney – CHERI Alliance 5 November 2025, Cambridge – New Release CHERIoT 1.0 provides a stable, hardware-enforced platform for building memory safe, compartmentalised systems in the microcontroller class. The specification defines the instruction set architecture, language extensions, and the complete compilation and relocation model, enabling developers to build software that is safeguarded against buffer […]
CHERI-seL4 and CHERI-Microkit Released
Hesham Almatary – Capabilities Limited We are happy to release a prototype of CHERI-seL4, an experimental version of the seL4 microkernel with CHERI support. This comes with CHERI-Microkit, a lightweight userspace framework, and a set of exercises and tutorials designed to help developers explore CHERI’s potential in a real microkernel environment. The release is aimed […]
CHERIoT-Ibex Core is Open Sourced to Enable Memory Safe MCUs
Source: https://www.eetimes.com/cheriot-ibex-core-is-open-sourced-to-enable-memory-safe-mcus/
lowRISC and SCI Semiconductor Release Sunburst Chip Repository for Secure Microcontroller Development
“Open source release accelerates path to market for commercial CHERIoT-based secure microcontrollers, supporting industry adoption and innovation.” lowRISC C.I.C. and SCI Semiconductor have announced the release of the open source Sunburst Chip design repository, a major step towards commercialising secure, CHERIoT-Ibex based microcontrollers. This marks a milestone in the DSbD/UKRI-funded Sunburst Project and supports SCI’s […]