This page collects seL4-based projects. If you know of a project that you’d like to be listed here, add it.
The seL4 kernel is currently used in various projects from different application areas:
- Aviation, e.g.
- Connected Consumer Devices
- SCADA, e.g.
- Spaceflight, e.g.
- UNSW QB50 satellite
See also the list of Projects at Trustworthy Systems
OS Personalities and Frameworks
- CamkES to build Trustworthy components
- RefOS was created as reference OS
- Neptune OS is a WinNT personality
- UX/RT is a QNX-like and Linux-compatible OS personality for seL4