Community Projects

This page collects seL4-based projects. If you know of a project that you’d like to be listed here, add it.

Application areas

The seL4 kernel is currently used in various projects from different application areas:

See also the list of Projects at Trustworthy Systems

OS Personalities and Frameworks

Languages and Runtimes