CHERI seL4 Working Group

The CHERI seL4 working group coordinates efforts to port and extend the formally verified seL4 microkernel to support CHERI capabilities. seL4 already provides strong isolation and provable correctness; adding CHERI further enhances its ability to enforce fine‑grained memory protection. The group discusses kernel modifications, capability management and verification proofs, drawing on expertise from the seL4 community and CHERI researchers【836580014068630†L152-L156】【836580014068630†L162-L250】.