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