seL4 foundation logo

Information about the endorsement scheme

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, namely:

  • 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 category 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.