CHERI Zephyr Working Group

Zephyr is a popular real‑time operating system for embedded devices. The CHERI Zephyr working group focuses on porting Zephyr to CHERI hardware and exploring how capability-based security can benefit constrained devices. Members work on adapting the kernel, drivers and libraries to enforce pointer bounds and compartmentalisation, sharing findings with both the Zephyr and CHERI communities【836580014068630†L152-L156】【836580014068630†L162-L250】. This group intersects with the CHERI FreeRTOS and CHERIoT efforts to deliver robust embedded solutions.