We welcome contributions to seL4. Please see the website for information on how to contribute.
This repository is usually not used in isolation, but as part of the build system in a larger project.
A hosted version of the manual for the most recent release can be found here.
A web version of the API can be found here
src: C and ASM source code of seL4
tools: build tools
libsel4: C bindings for the seL4 ABI
manual: LaTeX sources of the seL4 reference manual
See the seL4 website for build instructions.
A list of releases and current project status can be found under seL4 releases.