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)
• WasmEdge: porting a Cloud-native WebAssembly Runtime to seL4
• C
• Ivory
• Rust:
  • The Robigalia project: building a robust Rust ecosystem around seL4
  • ferros: A Rust-based userland which also adds compile-time assurances to seL4 development.
• Python
• C++