https://github.com/sel4/sel4
The seL4 microkernel
https://github.com/sel4/sel4
microkernel os sel4 sel4-microkernel
Last synced: 9 months ago
JSON representation
The seL4 microkernel
- Host: GitHub
- URL: https://github.com/sel4/sel4
- Owner: seL4
- License: other
- Created: 2014-07-18T11:08:06.000Z (over 11 years ago)
- Default Branch: master
- Last Pushed: 2025-05-09T04:21:28.000Z (9 months ago)
- Last Synced: 2025-05-09T05:25:59.453Z (9 months ago)
- Topics: microkernel, os, sel4, sel4-microkernel
- Language: C
- Homepage: https://sel4.systems
- Size: 14.3 MB
- Stars: 4,919
- Watchers: 205
- Forks: 692
- Open Issues: 214
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGES.md
- Contributing: CONTRIBUTING.md
- License: LICENSE.md
- Code of conduct: CODE_OF_CONDUCT.md
- Security: SECURITY.md
Awesome Lists containing this project
README
The seL4 microkernel
====================
[](https://bestpractices.coreinfrastructure.org/projects/5003)
[](https://github.com/seL4/seL4/actions/workflows/push.yml)
[](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml)
[](https://github.com/seL4/seL4/actions/workflows/cparser.yml)
[](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml)
[](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml)
[](https://github.com/seL4/seL4/actions/workflows/manual.yml)
[](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml)
This project contains the source code of seL4 microkernel.
For details about the seL4 microkernel, including details about its formal
correctness proof, please see the [`sel4.systems`][1] website and associated
[FAQ][2].
DOIs for citing recent releases of this repository:
- [![DOI][4]](https://doi.org/10.5281/zenodo.591727)
We welcome contributions to seL4. Please see the website for information
on [how to contribute][3].
This repository is usually not used in isolation, but as part of the build
system in a larger project.
[1]: http://sel4.systems/
[2]: https://docs.sel4.systems/projects/sel4/frequently-asked-questions
[3]: https://docs.sel4.systems/processes/contributing.html
[4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg
[5]: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf
[6]: https://docs.sel4.systems/Resources#setting-up-your-machine
[7]: https://docs.sel4.systems/releases/sel4
[8]: https://docs.sel4.systems/projects/sel4/api-doc.html
seL4 Basics
---------------
- [Tutorials](https://docs.sel4.systems/Tutorials)
- [Documentation](https://docs.sel4.systems/projects/sel4/documentation)
- [seL4 libraries](https://docs.sel4.systems/projects/user_libs)
- [seL4Test](https://docs.sel4.systems/projects/sel4test/)
- [Debugging guide](https://docs.sel4.systems/projects/sel4-tutorials/debugging-guide)
- [Benchmarking guide](https://docs.sel4.systems/projects/sel4-tutorials/benchmarking-guide.html)
- [Virtualization on seL4](https://docs.sel4.systems/projects/virtualization/)
- [Host Build Dependencies](https://docs.sel4.systems/projects/buildsystem/host-dependencies.html)
- [Porting seL4](https://docs.sel4.systems/projects/sel4/porting)
Community
---------
- Forums:
- [Discourse](https://sel4.discourse.group/)
- [seL4 Announce](https://lists.sel4.systems/postorius/lists/announce.sel4.systems)
- [seL4 Devel](https://lists.sel4.systems/postorius/lists/devel.sel4.systems)
See the [contact] links on the seL4 website for the full list.
[contact]: https://sel4.systems/contact
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][VDP].
[VDP]: https://github.com/seL4/seL4/blob/master/SECURITY.md
Manual
------
A hosted version of the [manual](manual/) for the most recent release can be found [here][5].
A web version of the API can be found [here][8]
Repository Overview
-------------------
- `include` and `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
Build Instructions
------------------
See the seL4 website for [build instructions][6].
Status
------
A list of releases and current project status can be found under [seL4 releases][7].
- [Roadmap](https://docs.sel4.systems/projects/roadmap): new features in development
- [Hardware Support](https://docs.sel4.systems/Hardware): information about hardware platform ports
- [Kernel Features](https://docs.sel4.systems/projects/sel4/status): information about available
kernel features
- [Userland Components and
Drivers](https://docs.sel4.systems/projects/available-user-components.html): available device
drivers and userland components
License
-------
See the file [LICENSE.md](./LICENSE.md).