Name | Date | Size | ||
---|---|---|---|---|
.. | 22-Jun-2021 | 50 | ||
.gitignore | H A D | 25-Jul-2019 | 509 | |
.licenseignore | H A D | 25-Jul-2019 | 295 | |
CAVEATS-generic.txt | H A D | 25-Jul-2019 | 2.8 KiB | |
CAVEATS-ia32.txt | H A D | 25-Jul-2019 | 756 | |
CHANGES | H A D | 25-Jul-2019 | 8.6 KiB | |
CMakeLists.txt | H A D | 25-Jul-2019 | 15.7 KiB | |
config.cmake | H A D | 25-Jul-2019 | 11.2 KiB | |
configs/ | H | 25-Jul-2019 | 6 | |
CONTRIBUTING.md | H A D | 25-Jul-2019 | 2 KiB | |
CONTRIBUTORS.md | H A D | 25-Jul-2019 | 1.4 KiB | |
gcc.cmake | H A D | 25-Jul-2019 | 2 KiB | |
gdb-macros | H A D | 25-Jul-2019 | 22 KiB | |
include/ | H | 25-Jul-2019 | 28 | |
libsel4/ | H | 25-Jul-2019 | 10 | |
LICENSE_BSD2.txt | H A D | 25-Jul-2019 | 1.4 KiB | |
LICENSE_GPLv2.txt | H A D | 25-Jul-2019 | 15.5 KiB | |
manual/ | H | 25-Jul-2019 | 14 | |
README.md | H A D | 25-Jul-2019 | 1.7 KiB | |
src/ | H | 25-Jul-2019 | 18 | |
tools/ | H | 25-Jul-2019 | 21 | |
VERSION | H A D | 25-Jul-2019 | 11 |
README.md
1<!-- 2 Copyright 2014, General Dynamics C4 Systems 3 4 This software may be distributed and modified according to the terms of 5 the GNU General Public License version 2. Note that NO WARRANTY is provided. 6 See "LICENSE_GPLv2.txt" for details. 7 8 @TAG(GD_GPL) 9--> 10 11The seL4 Repository 12=================== 13 14This repository contains the source code of seL4 microkernel. 15 16For details about the seL4 microkernel, including details about its formal 17correctness proof, please see the [`sel4.systems`][1] website and associated 18[FAQ][2]. 19 20DOIs for citing recent releases of this repository: 21 * [![DOI][4]](https://doi.org/10.5281/zenodo.591727) 22 23We welcome contributions to seL4. Please see the website for information 24on [how to contribute][3]. 25 26This repository is usually not used in isolation, but as part of the build 27system in a larger project. 28 29 [1]: http://sel4.systems/ 30 [2]: http://sel4.systems/Info/FAQ/ 31 [3]: http://sel4.systems/Community/Contributing/ 32 [4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg 33 [5]: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf 34 [6]: http://sel4.systems/Info/GettingStarted/ 35 36Manual 37------ 38 39A hosted version of the [manual](manual/) for the most recent release can be found [here][5]. 40 41Repository Overview 42------------------- 43 44 * `include` and `src`: C and ASM source code of seL4 45 * `tools`: build tools 46 * `libsel4`: C bindings for the seL4 ABI 47 * `manual`: LaTeX sources of the seL4 reference manual 48 49 50Build Instructions 51------------------ 52 53See the seL4 website for [build instructions][6]. 54 55License 56======= 57 58The files in this repository are released under standard open source licenses. 59Please see the individual file headers and `LICENSE_GPLv2.txt` and 60`LICENSE_BSD2.txt` files for details. 61