Working Groups

Where members collaborate to accelerate CHERI adoption and help make it successful.

Working groups bring together experts from across the CHERI ecosystem to share knowledge, solve common challenges, advance technology and standards, and support real-world deployment.

Many of the most important conversations in the CHERI ecosystem happen within working groups. Members can learn from peers, influence future directions, and stay close to emerging developments. For many organisations, working groups are a key reason to join the Alliance.

Technical working groups

Groups covering languages, operating systems, emulation, hardware integration, safety, and portability across CHERI platforms.

Technical

©️ CHERI C/C++ WG

Coordinating portable C and C++ support for CHERI platforms.

Language and ABI behaviour · Compiler and toolchain experience · Portability and standards

Technical

⬛️ CHERI in SoC WG

Brings together the architecture, integration, and verification questions involved in adding CHERI to a system-on-chip.

SoC architecture and integration · CHERI feature profiles · Hardware and software interfaces

Technical

🐧 CHERI Linux WG

Coordinates priorities, cross-architecture requirements, implementation experience, and contribution routes for CHERI support in Linux.

Linux roadmap and priorities · Cross-architecture interfaces · Upstream contribution

Technical

🐦 CHERI QEMU WG

Coordinates CHERI support in QEMU so developers have maintained, testable emulation aligned with current architectures and platforms.

Architecture and platform models · Maintenance and version alignment · Testing and continuous integration

Technical

🤖 CHERI Virtual Machines WG

Examines how language runtimes, managed environments, and virtual machines can use and preserve CHERI capabilities.

Language runtimes · Managed memory and native interfaces · Capability-aware VM design

Technical

⚙️ Rust + CHERI WG

Combining memory-safe software and hardware-enforced protection.

Rust targets and toolchains · Native interfaces and unsafe code · Platform and runtime support

Technical

📋 CHERI + Safety WG

Explores how CHERI mechanisms, implementation evidence, and system integration relate to functional safety and assurance needs.

Safety requirements and claims · Implementation evidence · Integration and assurance

Technical

4️⃣ CHERI for seL4 WG

Coordinates work at the intersection of CHERI capabilities, seL4, Microkit, verified kernels, and capability-oriented system design.

seL4 and Microkit integration · Capability-oriented interfaces · Isolation and assurance

Technical

🆓 CHERI FreeRTOS WG

Coordinates common approaches to memory protection, compartmentalisation, interfaces, and platform support for FreeRTOS on CHERI systems.

FreeRTOS platform support · Compartments and interfaces · Embedded testing and portability

Technical

🪁 CHERI Zephyr WG

Coordinates CHERI support for Zephyr across architecture ports, kernel and user interfaces, drivers, tooling, and supported platforms.

Zephyr architecture support · Memory protection and compartments · Drivers, tooling, and platforms

Technical

👮 MMU-less Systems WG

Examines CHERI protection and compartmentalisation for systems that share an address space and do not depend on a conventional memory-management unit.

Shared-address-space systems · Embedded compartment models · Resource and real-time constraints

Technical

🛠️ OS Support & Portability WG

Connects operating-system ports, shared interfaces, terminology, and documentation across CHERI architectures and software projects.

Cross-OS interfaces · Portability and terminology · Documentation and integration

Programme and ecosystem groups

Groups supporting certification, shared repositories, accurate communication, and wider community participation.

Programme and ecosystem

✅ Certification WG

Develops shared thinking around certification criteria, assurance needs, evidence, and the operation of Alliance certification programmes.

Certification criteria · Evidence and assurance needs · Programme development

Programme and ecosystem

📣 Marketing WG

Coordinates accurate CHERI messaging, shared material, campaigns, events, and communication across the Alliance ecosystem.

Shared messaging and material · Campaigns and events · Ecosystem communication

Programme and ecosystem

🪪 Promotion & Ambassador Program WG

Helping the CHERI ecosystem communicate clearly, consistently, and effectively.

Ambassador participation · Talks, demonstrations, and events · Community connections

Programme and ecosystem

💾 Repository Management WG

Develops consistent practices for the structure, maintenance, contribution, quality, and stewardship of shared Alliance repositories and technical collateral.

Repository structure and ownership · Contribution and maintenance · Quality and long-term stewardship

Participation

Working groups provide a forum to discuss requirements, share implementation experience, review proposals, coordinate projects, and develop practical guidance.

Some activities are member-only, while many repositories, publications, and technical outputs are developed within working groups before being released publicly.

Finding the right group

Working groups evolve as the ecosystem grows, and new groups may be created to address emerging needs.

Visit the contact page if you would like help finding the most relevant group or learning how to participate.

Where next

CHERI C/C++

Start with the CHERI C/C++ working group and continue through the current working-group pages.

Continue