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 groups cover languages, operating systems, emulation, hardware integration, safety, and portability across CHERI platforms. Programme and ecosystem groups support certification, shared repositories, accurate communication, and wider community participation.
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.
Working group directory
17 results
No entries match. Try fewer terms or reset the filters.
-
4️⃣ CHERI for seL4 WG
Coordinates work at the intersection of CHERI capabilities, seL4, Microkit, verified kernels, and capability-oriented system design.
View working group
-
CHERI Research WG
The CHERI Research Working Group connects researchers in academia and industry, providing a forum to identify shared interests and collaborate.
View working group
-
©️ CHERI C/C++ WG
Coordinating portable C and C++ support for CHERI platforms.
View working group
-
⚙️ Rust + CHERI WG
Combining memory-safe software and hardware-enforced protection.
View working group
-
✅ Certification WG
Develops shared thinking around certification criteria, assurance needs, evidence, and the operation of Alliance certification programmes.
View working group
-
⬛️ CHERI in SoC WG
Brings together the architecture, integration, and verification questions involved in adding CHERI to a system-on-chip.
View working group
-
🆓 CHERI FreeRTOS WG
Coordinates common approaches to memory protection, compartmentalisation, interfaces, and platform support for FreeRTOS on CHERI systems.
View working group
-
🐦 CHERI QEMU WG
Coordinates CHERI support in QEMU so developers have maintained, testable emulation aligned with current architectures and platforms.
View working group
-
🐧 CHERI Linux WG
Coordinates priorities, cross-architecture requirements, implementation experience, and contribution routes for CHERI support in Linux.
View working group
-
👮 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.
View working group
-
💾 Repository Management WG
Develops consistent practices for the structure, maintenance, contribution, quality, and stewardship of shared Alliance repositories and technical collateral.
View working group
-
📋 CHERI + Safety WG
Explores how CHERI mechanisms, implementation evidence, and system integration relate to functional safety and assurance needs.
View working group
-
📣 Marketing WG
Coordinates accurate CHERI messaging, shared material, campaigns, events, and communication across the Alliance ecosystem.
View working group
-
🛠️ OS Support & Portability WG
Connects operating-system ports, shared interfaces, terminology, and documentation across CHERI architectures and software projects.
View working group
-
🤖 CHERI Virtual Machines WG
Examines how language runtimes, managed environments, and virtual machines can use and preserve CHERI capabilities.
View working group
-
🪁 CHERI Zephyr WG
Coordinates CHERI support for Zephyr across architecture ports, kernel and user interfaces, drivers, tooling, and supported platforms.
View working group
-
🪪 Promotion & Ambassador Program WG
Helping the CHERI ecosystem communicate clearly, consistently, and effectively.
View working group