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 products for building high-assurance seL4-based systems?
Join the Foundation, and
➤ Apply for endorsement of the seL4 Foundation now!

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

Services

Training

Products