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.