The CHERI for seL4 Working Group focuses on the integration and combination of the two technologies. The objectives of the seL4 WG are:
- Consolidate existing efforts trying to port seL4 to CHERI
- Coordinate open-source development efforts around CHERI-seL4*
- Have a single CHERI-seL4 (kernel) to reduce confusions with upstreaming and the seL4 community
- Sync updates, events, demos, etc. around CHERI-seL4
Please note that CHERI-seL4 is experimental and isn’t formally verified or upstream yet.
- Group type
- Technical
Areas of collaboration
- seL4 and Microkit integration
- Capability-oriented interfaces
- Isolation and assurance