CHERI for seL4 Working Group

CHERI Alliance logo

About

The CHERI for seL4 Working Group focuses on the integration and combination of the two technologies. The objectives of the seL4 WG are:

  1. Consolidate existing efforts trying to port seL4 to CHERI
  2. Coordinate open-source development efforts around CHERI-seL4*
  3. Have a single CHERI-seL4 (kernel) to reduce confusions with upstreaming and the seL4 community
  4. Sync updates, events, demos, etc. around CHERI-seL4

* Please note that CHERI-seL4 is experimental and isn’t formally verified or upstream yet.

Videos

Want to get involved?