The seL4 microkernel
This project contains the source code of seL4 microkernel.
DOIs for citing recent releases of this repository:
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.
- seL4 libraries
- Debugging guide
- Benchmarking guide
- Virtualization on seL4
- Host Build Dependencies
- Porting seL4
See the contact links on the seL4 website for the full list.
Reporting security vulnerabilities
If you believe you have found a security vulnerability in seL4 or related software, we ask you to follow our vulnerability disclosure policy.
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.
- Roadmap: new features in development
- Hardware Support: information about hardware platform ports
- Kernel Features: information about available kernel features
- Userland Components and Drivers: available device drivers and userland components
See the file LICENSE.md.