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 projects in the following application areas:
Aviation (e.g., SMACCM)
- Connected Consumer Devices
Spaceflight (e.g., the UNSW QB50 satellite.)
The following platforms and language runtimes have been or are in the process of being ported to seL4: