Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
28 lines (22 sloc) 930 Bytes

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: