CHERI for seL4
Who
Members and contributors following collaborative technical and community work.
What
A working group page for CHERI-related work around seL4 and capability-oriented system design.
Why
Helps readers understand where CHERI for seL4 fits, what evidence matters, and where to look next.
Content
- Scope of the CHERI for seL4 working area
- Current areas of collaboration and expected outputs
- Links to repositories, discussions, or supporting material where appropriate