Community Projects
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:
- Automotive
- Aviation (e.g., SMACCM)
- Connected Consumer Devices
- SCADA
- 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:
- CamkES
- Genode
- Linux (virtualised)
- C
- Ivory
- Rust: The Robigalia project: building a robust Rust ecosystem around seL4
- Python
- C++