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.