Explore the Alliance working groups and their published activities.
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.