Endorsement
A growing community of experts offer consulting and development services to support seL4 projects. The seL4 Foundation provides guidance by endorsing service providers for their seL4-related expertise, either in systems or in verification. If you are a member interested in being endorsed, email foundation@sel4.systems.
Services and endorsements
The type of services that the member has expertise on and is being endorsed for, are described in detail, and taken from a template list of services:
- systems: kernel
- systems: kernel platform ports
- systems: user-level OS
- systems: applications
- verification: kernel
- verification: user-level OS
- verification: applications
Endorsement in one of the categories above means that the member has one or multiple people in-house who have that expertise and have already contributed in this area. This is reviewed annually.
Each category can have qualifiers/examples, which can be suggested by the member, eg "user-level OS (VM)” or “user-level OS (CAmkES).”
The endorsement of services is limited to members and provided for free.