seL4 foundation logo

Process and guidelines for obtaining interim endorsement from the Foundation

You offer professional support services for seL4-based systems?
You offer seL4 training?
You offer seL4-based products?
Join the Foundation, and
➤ Apply for interim endorsement of the seL4 Foundation now!

The Foundation is working on developing endorsement schemes for services, training and products. Until these are in place, we provide interim endorsements. All (interim) endorsed training modules and services are advertised here. Interim endorsements are provided for free and to Foundation members only. More info here.

Services

Training

Products