seL4 API

The seL4 API specification is available below for those interested in its development. However, please note the following points.

• The specification is also an implementation. This means that the specification is less approachable than we would like, but it is improving every day.
• The specification is very much a work in progress. Expect it to evolve as we experiment with it in the coming months, and potentially evolve rapidly, given our approach of using a very high-level language to specify it.
• The specification is an implementation. What you read is what we are running, or at least were running in the recent past.
• The specification is mostly machine-independent. It does not necessarily precisely describe how the concepts used map to a real hardware.

The seL4 Reference Manual is available in PDF format.